F
licenseB
qualityA
maintenanceA disciplined engineering harness for AI coding agents that provides ground-truth MCP tools and adversarial enforcement skills to transform generic LLMs into high-precision engineers.
118
1
-
keel
Related Servers
Alternatives to keel
No user-submitted related servers found.
Related Servers
- AlicenseNot gradedqualityCmaintenanceAn autonomous task decomposition and execution agent that plans, executes, verifies, and commits code changes for engineering goals.MIT
- AlicenseNot gradedqualityAmaintenanceEnables AI coding agents to enforce spec-driven development and verify code before it is marked done, using six tools that catch invented APIs, scan for hallucinated content, check plugin conformance, sandbox-run tests, validate schemas, and record audit evidence.7718PolyForm Noncommercial 1.0.0
- AlicenseNot gradedqualityAmaintenanceEnforces structured, evidence-guided software engineering tasks with cognitive actions (investigate, plan, verify, remember) and persistent state for LLM-based coding agents.1MIT
- AlicenseNot gradedqualityBmaintenanceEnables AI agents to operate autonomously with safety, parallelism, and dynamic tool management, without giving them full machine access.1AGPL 3.0
ContextEngineofficial
AlicenseAqualityAmaintenancePersistent memory and mechanical enforcement for AI coding agents — so they stop repeating your mistakes.211,5763Business Source 1.1
This server cannot be deployed
Maintenance
ActivityStale
ResponsivenessNo issues