Bacon-labs/tama

# Tama 玉/魂 Verity 合约会被书写三次：作为在 EVM 上运行的代码、作为代码必须执行的操作规范，以及作为两者一致性的机器验证证明。**Tama** 是构建、证明、编译、审计和检查 Verity 项目的单一 CLI 工具——而一个 Tama 项目就是一个 Foundry 项目，因此 `forge` 会按照您的预期继续工作。 **请在 https://tama.tools 阅读文档。** ## 安装 ``` curl -L https://tama.tools/install.sh | sh ``` 然后使用 `tamaup install ` 切换到特定的已签名版本。 ## 部分命令 ``` tama init my-protocol # scaffold a project tama check # fast Lean check (impl + spec only) tama build # full pipeline: proofs → Yul → bytecode → bridge → forge tama test # passthrough to forge test tama audit # release-time audits over manifests and artifacts tama inspect ERC20Lite manifest ``` 完整的 CLI 参考文档位于 https://tama.tools/reference/cli。 ## 开发 ``` cargo fmt --check cargo clippy --workspace --all-targets -- -D warnings cargo test --workspace cargo build --workspace --release ``` 工作区的 MSRV（最低支持 Rust 版本）为 Rust 1.81： ``` cargo +1.81.0 build --workspace cargo +1.81.0 test --workspace ``` 网站源代码位于 [`site/`](site/)，并通过 [`.github/workflows/deploy-docs.yml`](.github/workflows/deploy-docs.yml) 部署到 GitHub Pages。内部产品规范和贡献者文档位于 [`docs/reference/`](docs/reference/)。

标签：EVM, Forge, Foundry集成, Lean证明助手, Rust编程语言, Verity框架, Yul, 以太坊, 区块链, 区块链开发, 发布管理, 可视化界面, 合约编译, 威胁情报, 安全可观测性, 工具链, 开发环境, 开发者工具, 形式化方法, 形式化验证, 智能合约, 智能合约安全, 服务器监控, 机器检查证明, 版本控制, 通知系统, 项目构建