MCP servers and skills: search, filter by where they run, and compare.
1–9 of 9 tools for “claim-driven-development”
Clear allFile-based kanban board for autonomous agentic loop. CLI and TUI for multi-agent workflows. Skills included.
SkillMIT★ 224No key
Agent-native embedded systems lab for pluggable simulation, evidence-driven validation, and controlled evolution.
PythonApache-2.0★ 36No key
🤖 An automated setup kit for implementing loop engineering based on issue-driven development in your repository; since 2026.5
SkillMIT★ 11No key
Agent skill that audits and cleans agent-facing markdown docs — archives completed-work history, fixes stale facts and contradictions, keeps only live verified facts.
SkillMIT★ 43No key
Spec-driven autonomous development loop for Claude Code. Combines structured PRD generation, dependency DAG execution, two-stage review gates, and Iron Law verification.
SkillMIT★ 24No key
Mock MCP Server - AI-driven mock data orchestration with OpenAPI JSON Schema for testing
Node.jsMIT★ 9No key
Spec-driven development harness for AI coding agents. Grill the decisions, write the RFC/PRD, check every spec claim against the real code, build against named proofs, then pass one adversarial audit.
SkillMIT★ 4Few starsNo key
MCP server that coordinates AI agents and humans on shared work: atomic task claims with TTLs, a data-driven state machine, an append-only event log, and GitHub Projects and Slack sync through outboxe
DockerMIT★ 1Few starsNeeds a key
Evidence-driven embedded systems & edge-AI skill for Claude Code and other agents — vendor-doc intake, cross-layer feasibility verdicts, hard-gated flashing/recovery. Turn week-three surprises into da
SkillMIT★ 6No key
Who stands behind it
