corvee

A local, multi-agent-aware CLI issue tracker and fact store for AI coding agents, with humans as a secondary user.

Agents lose context between sessions and collide with each other mid-task. corvee tracks tasks, todos, decisions, and checked-true facts in a local SQLite database instead of chat history or a markdown file, so an agent (or a human) picks up exactly where the last session left off, and multiple agents work the same project without silently overwriting each other's edits.

See the documentation site for the full pitch, the Quickstart, the Commands reference, the Specification, and the MCP server for hosts that speak Model Context Protocol natively instead of shelling out to the CLI.

flowchart LR
    subgraph sessions["Sessions, same project"]
        A1["Agent session A"]
        A2["Agent session B"]
        H["Human"]
    end

    A1 -->|claim / update| CLI["corvee CLI"]
    A2 -->|claim / update| MCP["corvee MCP server"]
    H -->|claim / update| CLI

    CLI <--> LDB[("Local SQLite\ntasks + facts")]
    CLI <--> GDB[("Global SQLite\ntasks + facts")]
    MCP <--> LDB
    MCP <--> GDB

    LDB -.->|"already claimed -> exit 4"| A2

Every task and fact lives in exactly one of these two independent databases, picked with --global at creation time and encoded in the id from then on. --scope all (the default for listing) reads both.

corvee itself is built with spec-driven development: docs/spec.md is written and extended before any code, then implemented and refined across many iterations.

Install

uv tool install corvee

Hosts that speak MCP natively instead of shelling out to the CLI need the mcp extra and corvee mcp serve (see MCP server for per-host setup):

uv tool install 'corvee[mcp]'

Quickstart

cd your-project
corvee init                              # once per project

corvee task add "Fix the flaky auth test" --description "..."
corvee task list --json
corvee task claim TASK-1
corvee task update TASK-1 --state done   # claim clears automatically

corvee fact add "requests is Apache-2.0 licensed" --proof "pip show requests"
corvee fact search "license" --json

corvee explain prints a compact, agent-oriented cheat sheet from inside any initialized project. See Quickstart for facts, global scope, and the full core loop.

License

Apache-2.0

Contributing

See CONTRIBUTING.md for the development setup and the project's quality gate.