Skip to main content
Glama
73,095 servers. Updated

Matching MCP tools:

Matching MCP Connectors:

"Actual Budget" matching MCP servers:

  • F
    license
    -
    quality
    D
    maintenance
    Transforms single-attempt coding into a multi-attempt, test-validated refinement loop by running your actual test suite and feeding failures back to the LLM as structured directives.
    3
  • A
    license
    -
    quality
    A
    maintenance
    TACIT (Tracked Agent Capabilities In Types) is a safety harness for AI agents. Instead of calling tools directly, agents write code in Scala 3 with capture checking: a type system that statically tracks capabilities and enforces that agent code cannot forge access rights, cannot perform effects beyond its budget, and cannot leak information from pure sub-computations. It provides an MCP interface,
    69
    Apache 2.0