| lungo cargo | 1.115.34 | none | none | Runtime and facade types for Rust code generated from Lean by lungo-build | 177 | 8h ago |
| lungo-build cargo | 1.115.34 | none | none | Compiles Lean projects into Rust at Cargo build time | 89 | 8h ago |
| tla-checker cargo | 0.24.8 | none | high | A TLA+ model checker written in Rust | 2.8K | 21h ago |
| formal-ai cargo | | high 0.355.0 did not build | – | Formal symbolic AI implementation with OpenAI-compatible APIs | 8.3K | 23h ago |
| prusti-contracts cargo | 0.3.1 | none | none | Tools for specifying contracts with Prusti | 25K | 1d ago |
| xlsynth-prover cargo | | high 0.75.0 did not build | – | XLS formal pProvers | 21K | 1d ago |
| blvm-spec-lock cargo | | – 0.1.43 did not build | – | BLVM Spec Lock: Purpose-built formal verification tool for Bitcoin Commons | 3.9K | 1d ago |
| vest cargo | 0.2.2 | none | none | Vest: A DSL for specifying and generating fast, formally verified parsers and serializers | 666 | 2d ago |
| meerkat-machine-schema cargo | | – 0.9.3 did not build | – | Formal machine schemas and transition definitions for Meerkat | 26K | 2d ago |
| khive-pack-formal cargo | 0.14.0 | none | none | Formal-math ontology pack — typed edge rules for theorem/definition/structure/instance/axiom/goal subtypes | 257 | 2d ago |
| automation-structures cargo | 0.4.0 | none | none | Checked state machines for budgets, selection, traversal, and automation execution flow. | 174 | 3d ago |
| assura-macros cargo | 0.7.0 | none | none | Proc macros for inline Assura contract annotations in Rust | 199 | 3d ago |
| assura cargo | 0.7.0 | medium | none | Contract-first AI-native language. Write what it should do. AI proves it does. | 202 | 3d ago |
| litex-lang cargo | 1.1.1-beta | none | none | The Language Where Mathematics Verifies Itself | 803 | 4d ago |
| assura-runtime cargo | 0.7.0 | none | none | Runtime contract monitoring for Assura-generated Rust code | 266 | 4d ago |
| probatum cargo | 0.1.0 | none | none | Write the contract, get the proof: compile behavioral intent into programs with machine-checkable proof certificates | 10 | 4d ago |
| assura-lsp cargo | 0.7.0 | medium | none | LSP server for the Assura contract language | 1.6K | 5d ago |
| assura-mcp cargo | 0.7.0 | medium | none | MCP (Model Context Protocol) server for Assura AI agent integration | 1.6K | 5d ago |
| assura-llm cargo | 0.7.0 | none | none | LLM provider abstraction and contract analysis for Assura | 1.7K | 5d ago |
| assura-pipeline cargo | 0.7.0 | medium | none | Shared compiler pipeline for the Assura language | 1.8K | 5d ago |
| assura-codegen cargo | 0.7.0 | none | none | Rust code generation from type-checked Assura contracts | 1.9K | 5d ago |
| assura-smt cargo | 0.7.0 | medium | none | SMT-based verification for Assura contracts via Z3 | 1.9K | 5d ago |
| assura-types cargo | 0.7.0 | none | none | Type checking for the Assura contract language | 2.1K | 5d ago |
| assura-resolve cargo | 0.7.0 | none | none | Name resolution and symbol table for the Assura contract language | 2.1K | 5d ago |
| assura-stdlib cargo | 0.7.0 | none | none | Assura standard library contracts and prelude types | 2.2K | 5d ago |
| assura-fmt cargo | 0.7.0 | none | none | Source code formatter for the Assura contract language | 1.8K | 5d ago |
| assura-parser cargo | 0.7.0 | none | none | Lexer, parser, and AST for the Assura contract language | 2.3K | 5d ago |
| assura-ast cargo | 0.7.0 | none | none | Assura AST types (Spanned, Expr, Decl, etc.) - the compiler IR | 2.4K | 5d ago |
| assura-config cargo | 0.7.0 | none | none | Project configuration and output mode types for the Assura compiler | 2.2K | 5d ago |
| assura-diagnostics cargo | 0.7.0 | none | none | Unified diagnostic types for the Assura compiler | 2.4K | 5d ago |
