Back to search
Spec-driven AI Coder is an AI agent that codes more securely by generating verified implementations from documentation and specifications, with test-driven development (TDD) and formal verification (FV) support. This repo extended the original Certora AI Composer (which previously targeted only the EVM) with an experimental Solana/SVM pipeline.
Stars
0
Forks
0
Watchers
0
Open Issues
0
Overall repository health assessment
No package.json found
This might not be a Node.js project
Add README comments re Solana hackathon and move 2 SVM demos to public repo
3757937View on GitHubFix optional field handling and improve human_in_the_loop guidance in requirement extraction
837d56cView on GitHubAdd optional field handling to human_interaction_tool to avoid crash because of LLM omission
350af7aView on GitHubAdd --no-fv flag to disable formal verification enforcement
c08424eView on GitHubAdd graceful handling for empty files dict in put_file tool
a4b9f2aView on GitHubAvoid LangChain structured-output failure by disabling Anthropic thinking for resume commentary
b1193e4View on GitHubAdd override to Solana RAG setup (for custom manual beyond the limited official docs)
94a0394View on GitHubAdd CVLR manual search tool with optional database support
c3e0e94View on GitHubAdd Solana/CVLR RAG database setup with separate DB instance
90a23bbView on GitHub