zino-rs / zino

Spec-driven framework for composable applications in Rust.

astrio-labs / forall-mcp

Forall (∀) is a coding harness from Astrio that helps developers build correct software by generating spec-driven code alongside machine-checkable proofs.

fynnfluegge / agtx

🏄🏼‍♂️ The blackboard for coding agents - agentic development environment for claude code, codex, cursor, opencode, grok and more.