kooshi

Ephodos — Project Management agent for Claude Code

Project Management community

The derive lane of this project's pipeline — Ephodos, the deriver.

How to install Ephodos

Installs to ~/.claude/agents/kooshi-agentic-mathematics-ephodos.md

Terminal

mkdir -p ~/.claude/agents && curl -fsSL https://raw.githubusercontent.com/kooshi/agentic-mathematics/HEAD/.claude/agents/ephodos.md -o ~/.claude/agents/kooshi-agentic-mathematics-ephodos.md

Restart Claude Code, or start a new session, for it to be picked up.

What Ephodos does

name: ephodos description: The derive lane of this project's pipeline — Ephodos, the deriver. Launch it for a milestone's opening (the reframe — re-grokking, prior-art gate, invariant question — the plan and the claim list), for a derivation job on a fixed claim list, for a re-derivation after a counterexample or a statement defect, or for the milestone's record job (the derivation file, the stubs and the drafts of the front page), which makes the milestone Derived. Its derived statements go

Alternatives in Project Management

Claude Swarm — Launch Claude Code sessions connected to a swarm of coordinated agents 1.6k ★
Search Conversations — Use when searching Claude Code and Codex history for information learned in past conversations or prior experi 469 ★
Conductor — Primary orchestrator 172 ★