code-verification

CodeNotary JavaScript Client

Robust SystemVerilog Linter and Formatter to enhance code quality and ensure standards compliance. Perfect for hardware designers seeking efficient verification and readable code.

Plan, build and independently verify your work with coding agents (Claude Code today).

Governed spec-driven development for AI coding agents. Keeps requirements, memory, planning, execution, and verification under control with executable guardrails and human approval, making agentic software development more traceable, verifiable, and predictable.

The local CLI that forces AI agents to prove their file edits against your actual filesystem. Zero slop, full verification - Strict Write Discipline, multi-provider routing, MCP, and receipts.

Archived — moved to havanafrog/agentsemble

Understand and verify AI-built features visually: intended vs code-derived Mermaid diagrams with checked file:line refs, risks, glossary and a local dashboard.

react app for the det platform uploader

Agent skills that build and research in parallel, then try to prove the result wrong before you merge it.

A second, independent AI agent checks the first agent's work before you have to. Cross-vendor verifier plugin for Claude Code.

给 AI 生成的代码配自动化验证。检查那些「不崩溃、不报错、只是悄悄做错」的问题。