nlebovits/parseltongue-claude

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

1 file for Claude Code: parseltongue-claude CLAUDE.md — 431 tokens loaded in every session.

Open on GitHub

0Stars on the repository

1Files it configures its agents with

431Tokens loaded in every session

1Agent configured

Instructions

parseltongue-claude CLAUDE.md CLAUDE.md A 431 tok

These files are nlebovits/parseltongue-claude's own configuration — they tell Claude Code how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.