Back to browse
GitHub Repository

Deterministic, hash-based verification for docs that reference code. Fail-closed. Zero fuzzy matching.

7 starsTypeScript

VeriContext – Preventing Stale Documentation for LLM Agents

by amsminn·Feb 25, 2026·3 points·0 comments

AI Analysis

●●●BangerBig BrainSolve My Problem

Hash-verified doc citations enforce truth—genuinely solves AI agent hallucination on stale docs.

Strengths
  • Fail-closed design: one stale citation breaks entire doc, preventing silent drift (zero fuzzy recovery)
  • MCP agent skill + pre-commit hook integration means docs stay locked to code at commit time
  • Invisible HTML comments preserve rendered Markdown aesthetics while embedding verifiable hashes
Weaknesses
  • Assumes AST-aware verification roadmap unclear; ergonomics of 'one citation fails whole doc' could be painful
  • Early GitHub activity (0 stars, 0 forks) suggests unvalidated; needs real-world adoption proof
Target Audience

Teams using AI agents for code generation, documentation maintainers, DevOps/CI engineers

Similar To

Docusaurus link validation · Check-all-refs · markdown-link-check

Post Description

Directory-level READMEs / AGENTS.md (“deep init” style) are great early on, but they inevitably drift as the codebase grows. Agents still treat those docs as truth, which makes decisions worse over time.

VeriContext tries to make those docs verifiable.

When a doc references code, it embeds a SHA-256 hash of the exact snippet inside an HTML comment. On verification, either it matches or it fails (fail-closed).

What’s useful in practice is the workflow around it: • You can install it as an agent skill, so the agent runs verification before finishing a task / finalizing a plan / committing, and updates the citations/hashes when it edits docs. • You can also enforce it mechanically via pre-commit hooks or CI, e.g. npx vericontext verify workspace ..., so stale docs simply can’t be merged.

This way docs aren’t “trusted” — they’re constrained to stay aligned with code.

I’d love feedback on trade-offs (strict fail-closed vs. ergonomics), and whether AST-aware verification would be worth it vs. raw snippet hashing.

Similar Projects

Developer Tools●●Solid

Preventing runaway LLM agents (enforcement layer)

VERONICA puts an enforcement shim between your agent and the model so you can halt costly spirals before a request hits the provider — it natively exposes hard budget enforcement, circuit breakers, retry containment and degradation levels. The README + runnable runaway-loop demo make the failure mode concrete and the API (BudgetEnforcer, RuntimeContext, BudgetExceeded) is small and practical. I'd like to see richer observability/adapter docs for common agent frameworks, but as an enforcement-first primitive this is a clever, useful tool.

Niche GemBig Brain
amabito
123mo ago