nlebovits/parseltongue-claude

MCP server wrapping Parseltongue's symbolic verification engine for Claude Code.

This repository also configures its own agents. See what parseltongue-claude tells them →

0Stars on the repository

5Mods indexed here, across every type

5mo agoLast push, which is what freshness is scored on

Apache-2.0Licence, which decides whether bodies are shown

MCP server Claude CodeCodexCursor +2

MCP server "parseltongue-claude" as configured in nlebovits/parseltongue-claude. Runs locally from the parseltongue-claude Python package.

not rated 0 5mo ago A tokens not measured original Apache-2.0