MCP server wrapping Parseltongue's symbolic verification engine for Claude Code.
This repository also configures its own agents. See what parseltongue-claude tells them →
Skill Claude CodeCodex
Exhaustive adversarial documentation verification. Use when checking README accuracy, API documentation completeness, or any docs where missing features could mislead users. Enumerates ALL features from source, compares to docs, proves coverage gaps with formal logic.
Skill Claude CodeCodex
Documentation audit using Parseltongue. Verify docs for accuracy, find duplicated content, check consistency with source. Invoke with "/parseltongue-review [file or directory]".
Skill Claude CodeCodex
Grounded document analysis with hallucination detection. Use when analyzing documents, reports, papers, or any text where claims must be verifiable. Extracts facts with verbatim quotes, derives conclusions, and catches fabricated claims. Invoke with "/parseltongue [document or query]".