| aprender-contracts cargo | 0.70.2 | clean | Papers to Math to Contracts in Code — YAML contract parsing, validation, scaffold generation, and Kani harness codegen for provable Rust kernels | 36K | 11h ago |
| assura-ast cargo | 0.6.0 | clean | Assura AST types (Spanned, Expr, Decl, etc.) - the compiler IR | 2.3K | 2d ago |
| assura-diagnostics cargo | 0.6.0 | clean | Unified diagnostic types for the Assura compiler | 2.3K | 2d ago |
| assura-parser cargo | 0.6.0 | clean | Lexer, parser, and AST for the Assura contract language | 2.3K | 2d ago |
| assura-config cargo | 0.6.0 | clean | Project configuration and output mode types for the Assura compiler | 2.1K | 2d ago |
| assura-stdlib cargo | 0.6.0 | clean | Assura standard library contracts and prelude types | 2.1K | 2d ago |
| assura-resolve cargo | 0.6.0 | clean | Name resolution and symbol table for the Assura contract language | 2.1K | 2d ago |
| assura-types cargo | 0.6.0 | clean | Type checking for the Assura contract language | 2.0K | 2d ago |
| assura-smt cargo | 0.6.0 | 1 detection 1 | SMT-based verification for Assura contracts via Z3 | 1.9K | 2d ago |
| assura-codegen cargo | 0.6.0 | clean | Rust code generation from type-checked Assura contracts | 1.9K | 2d ago |
| assura-pipeline cargo | 0.6.0 | 1 detection 1 | Shared compiler pipeline for the Assura language | 1.8K | 2d ago |
| assura-fmt cargo | 0.6.0 | clean | Source code formatter for the Assura contract language | 1.7K | 2d ago |
| assura-llm cargo | 0.6.0 | clean | LLM provider abstraction and contract analysis for Assura | 1.6K | 2d ago |
| assura-mcp cargo | 0.6.0 | 1 detection 1 | MCP (Model Context Protocol) server for Assura AI agent integration | 1.6K | 2d ago |
| assura-lsp cargo | 0.6.0 | 1 detection 1 | LSP server for the Assura contract language | 1.6K | 2d ago |
| assura-runtime cargo | 0.6.0 | clean | Runtime contract monitoring for Assura-generated Rust code | 255 | 2d ago |
| assura cargo | 0.6.0 | 1 detection 1 | Contract-first AI-native language. Write what it should do. AI proves it does. | 190 | 2d ago |
| assura-macros cargo | 0.6.0 | clean | Proc macros for inline Assura contract annotations in Rust | 190 | 2d ago |
| automation-structures cargo | 0.3.1 | clean | Checked state machines for budgets, selection, traversal, and automation execution flow. | 144 | 2d ago |
