Formal verification skills for Claude Code, Codex, OpenCode, and Gemini. Rust -> Lean 4 via Aeneas.
Cross-referenced across 55 tracked directories
#3846
Popularity Rank
1 / 55
Listed In
Emerging
Adoption Stage
3/9/2026
First Seen
Recently added to the ecosystem
aabyzov
AI-assisted development, under control. Configure your standards once — spec-first, TDD, quality gates — and every AI interaction enforces them automatically. Works with Claude Code, Cursor, Copilot, Codex & more.
...morewolffiex
Pointer to the official Claude Code package at @anthropic-ai/claude-code
GitHub Actions
Generate AI summaries of test results using a wide range of AI models like OpenAI, Anthropic, Gemini, Mistral, Grok, DeepSeek, Azure, Perplexity, OpenRouter, and custom OpenAI-compatible APIs
...moremikelarg
GigaChat integration for LangChain.js