edify

A lean Claude Code toolkit in one tree: a Python CLI (edify-cli) for working with session data, tokens, and markdown, plus a Claude Code plugin (plugin/) that ships a handful of framework-agnostic skills.

Direction: Lean-assisted (formal-proof-backed) requirements tracking.

Install

Not yet published to PyPI. Install the CLI from source:

git clone https://github.com/ddaanet/edify
cd edify
uv tool install .

Requires Python 3.14+ and uv.

CLI (edify-cli)

Source in src/edify/. Six commands in four groups:

• Session scraping — edify list, edify extract <prefix>, edify collect. Parse the JSONL under ~/.claude/projects/ to pull your own messages back out, per session or across all of them.
• Token counting — edify tokens FILE.... Count tokens via the Anthropic API (needs ANTHROPIC_API_KEY); the haiku/sonnet/opus aliases resolve to the latest model.
• Markdown postprocessing — edify markdown. Reads file paths from stdin and fixes structural issues formatters can't, in place. Pair with dprint for formatting.
• Contract checking — edify check <target>. Verify a Python function against its icontract contract with CrossHair.

Plugin

The plugin/ directory is a Claude Code plugin — a plain subdirectory of this repo (previously a git submodule). It ships framework-agnostic skills invoked as slash commands: /requirements, /proof, /deliverable-review, /ground, /formalize. See plugin/README.md.

Development

just dev        # format + check + test
just test       # tests only
just check      # lint + type check
just precommit  # all checks (CI equivalent)

Python 3.14+ with mypy strict types, pytest for tests, ruff for linting, uv for dependencies, and just for tasks. Design decisions are recorded in agents/decisions/.

License

MIT