"Actual Budget" matching MCP servers:

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,

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.

Enables coding agents to start and operate live kernels on local machines, Modal GPUs, or Colab VMs, running code, notebook cells, shell commands, and file transfers while inspecting variables, plots, and errors. It also runs notebooks, scripts, and web UIs end to end as budget-capped plans that verify expectations and report what failed and what changed.