4 projects
forge-proof
Forge reference proof tooling: forge proof check/derive/replay/bundle — a Proof-Standard evidence bundle from events.log alone. Stdlib-only core; optional matplotlib+networkx for graph.png.
forge-mcp-base
Forge MCP server: JSON-RPC 2.0 over stdio, six tools, one SDK call each. A transport, nothing more.
forge-planner
Forge reference planner: goal in, proposal out (SPEC §9). The first untrusted SDK client, published as its own package.
forge-foundation
Forge — a deterministic project kernel for autonomous software development. Project state is deterministic; intelligence is replaceable.
