CodeNotary JavaScript Client
-
Updated
Jul 16, 2022 - JavaScript
#
code-verification
Here are 6 public repositories matching this topic...
Robust SystemVerilog Linter and Formatter to enhance code quality and ensure standards compliance. Perfect for hardware designers seeking efficient verification and readable code.
-
Updated
Apr 12, 2024 - JavaScript
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.
nodejs python testing markdown cli open-source npm-package developer-tools software-engineering cursor ai-agents task-graph code-verification agentic-workflow ai-coding claude-code token-efficiency spec-driven-development
-
Updated
Sep 27, 2026 - JavaScript
Archived — moved to havanafrog/agentsemble
multi-agent developer-tools ai-agents claude code-verification llm anthropic claude-code ai-coding-assistant agentic-coding claude-code-plugin claude-code-skills
-
Updated
Sep 28, 2026 - JavaScript
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.
cli mcp openai developer-tools swd ai-agents code-verification llm anthropic strict-write-discipline
-
Updated
Jun 3, 2026 - JavaScript
A second, independent AI agent checks the first agent's work before you have to. Cross-vendor verifier plugin for Claude Code.
cross-validation developer-tools codex ai-agents code-verification llm claude-code claude-code-plugin
-
Updated
Jul 25, 2026 - JavaScript
Add this topic to your repo
To associate your repository with the code-verification topic, visit your repo's landing page and select "manage topics."