forge-test-mcp
Runs Foundry's forge test and forge build for Solidity projects, returning structured test results such as failing test kinds, decoded reasons, fuzz counterexamples, invariant call sequences, console logs, decoded traces, and compiler errors/warnings.
Click on "Deploy Server".
Wait a few minutes for the server to deploy. Once ready, it will show a "Started" state.
In the chat, type
@followed by the MCP server name and your instructions, e.g., "@forge-test-mcprun my Foundry tests and explain why the failing ones fail"
That's it! The server will respond to your query, and you can continue using it as needed.
Here is a step-by-step guide with screenshots.
forge-test-mcp
An MCP server that runs Foundry's forge test and forge build and returns compact,
structured results an AI coding agent can act on: for every failing test, its kind, the
decoded reason, the fuzz counterexample or invariant call sequence, console logs and a short
decoded trace. It speaks standard MCP over stdio and is meant for any MCP client (Claude Code,
Codex, Cursor, Claude Desktop, Windsurf, …). So far it has been tested with an MCP test client,
not yet inside each of those clients.
When forge did not run the tests (a compile error, no matching tests, a timeout, a missing
or unsupported forge, …) the tool says so as an error. It never reports "0 failed" for tests
that did not run.
Status: 0.1.0, the first release. See CHANGELOG.md for what is in it and what is not yet verified.
Before you use it
Running tests runs code.
forge testexecutes the project's Solidity with your user's rights. Use this server only on projects you would test in a terminal yourself.FFI is off unless you start the server with
--allow-ffi, even whenfoundry.tomlenables it. forge runs with--offline, but tests can still reach the network themselves, for example through fork cheatcodes.No transactions. No tool sends transactions, deploys, signs or takes a key.
Passing tests do not prove a contract is secure.
Details in Security and trust.
Related MCP server: Build Runner MCP Server
Requirements
Node.js 22 or later.
Foundry with
forge1.8.5 or a later 1.8.x. You install it; this server never installs or updates anything. Newer versions run but are flagged as untested.The project's compiler version installed once: run
forge buildin a terminal first. The server runs forge with--offline, so it cannot download solc itself.
Configure your MCP client
Start the server in your Foundry project (the directory with foundry.toml, or below it).
Most clients accept this mcpServers entry:
{
"mcpServers": {
"forge-test": {
"command": "npx",
"args": ["-y", "forge-test-mcp@0.1.0"]
}
}
}Pin an exact version, as above. Client shortcuts, from each vendor's documentation (checked 2026-10-23, not yet verified by running each client):
Claude Code: put the JSON above in
.mcp.jsonat the project root. In interactive sessions Claude Code asks you to approve project servers the first time.Cursor: put it in
.cursor/mcp.json, adding"type": "stdio"to the server entry.Codex: in
.codex/config.toml(loaded for trusted projects only) or~/.codex/config.toml:[mcp_servers.forge-test] command = "npx" args = ["-y", "forge-test-mcp@0.1.0"]
Docker
The image contains the server and forge 1.8.6, the official static Alpine build. The build
checks the download against pinned SHA-256 digests; those digests were taken from the release's
provenance attestation and verified when they were pinned. Mount the project at /project
and a cache volume at /cache, where forge keeps the compiler:
docker build -t forge-test-mcp .
docker run --rm -v "$PWD":/project -v forge-test-mcp-cache:/cache --entrypoint forge forge-test-mcp buildThe second command installs the project's solc once, online. Then configure the client to run
docker with ["run", "-i", "--rm", "-v", "<project>:/project", "-v", "forge-test-mcp-cache:/cache", "forge-test-mcp"]. forge writes out/ and cache/ into the
project, so on Linux add --user "$(id -u):$(id -g)" to both commands.
Options
Options go after the package name in args. Only the user sets them; no tool argument can.
Option | Meaning |
| Project directory (default: where the client starts the server). |
| The |
| Stop a forge run after this long (default 300). |
| Let tests use FFI cheatcodes when |
| Refuse forge versions newer than the tested range instead of flagging them. |
Tools
Tool | What it does |
| Runs |
| Re-runs one test at high verbosity and returns only that test: reason, counterexample, logs, backtrace and the decoded trace. Pass the name as |
| Runs |
None of them sends transactions, deploys, signs or accepts keys.
A failing run_tests result looks like this:
{
"status": "failed",
"forge": "1.8.6",
"summary": { "suites": 1, "passed": 1, "failed": 1, "skipped": 0 },
"ffi": "disabled",
"fuzzRuns": { "configured": 256, "used": 256 },
"notRun": [],
"failures": [
{
"test": "SupplyInvariantTest.invariant_supplyMatches()",
"file": "test/Supply.t.sol",
"kind": "invariant",
"reason": "supply mismatch: 6683 != 6355",
"sequence": {
"calls": [
{ "call": "Handler.mint(uint256)", "args": "6683", "sender": "0x…022f" },
{ "call": "Handler.burnFrom(uint256)", "args": "328", "sender": "0x…054e" }
],
"shrunkFrom": 4
},
"trace": [
"[21670] SupplyInvariantTest::invariant_supplyMatches()",
" ├─ [0] VM::assertEq(6683, 6355, \"supply mismatch\") [staticcall]",
" │ └─ ← [Revert] supply mismatch: 6683 != 6355",
" └─ ← [Revert] supply mismatch: 6683 != 6355"
],
"traceLinesOmitted": 16
}
],
"truncated": null
}Responses stay within the size budget. When there is more than fits, traces and logs go
first, then whole failures, and truncated says exactly how many were left out.
When the tests did not run
The result is an MCP error (isError: true) with a code, a message and a hint:
Code | Cause |
| The project does not compile (the first compiler errors are included). |
| No test matched the filters, or every matched test was skipped. |
| No |
|
|
| Run |
| The run took longer than |
| forge could not produce a trustworthy report; the message and stderr say why. |
Security and trust
Running tests runs code. forge test executes the project's Solidity and cheatcodes with
your user's rights, just as it does in a terminal. Only use this server on projects you would
test in a terminal yourself. It cannot make an untrusted repository safe.
What the server does to reduce that risk:
FFI is off unless you opt in. FFI cheatcodes run arbitrary shell commands. forge ignores
FOUNDRY_FFIin the environment, so whenfoundry.tomlsetsffi = truethe server runs forge with a copy of the resolved configuration that hasffi = false, and checks through forge that it took effect before running anything. Start the server with--allow-ffiif you want FFI.No downloads. forge always runs with
--offline, so forge itself makes no network lookups. Tests can still reach the network on their own, for example fork tests throughvm.createSelectForkand RPC endpoints.No shell. forge is started with an argument list. Tool arguments are validated and passed as single
--flag=valuearguments.Secrets. forge loads the project's
.envitself, so tests can read and print those values. The server replaces the exact values of variables named like*PRIVATE_KEY*,*MNEMONIC*,*SECRET*,*TOKEN*,*API_KEY*and*RPC_URL*(RPC URLs often embed an API key), from its environment and.env, with[redacted:NAME]. A hex value such as a private key is also caught without0x, in either case, without leading zeros, and in decimal (asvm.envUintandconsole.logprint it). It cannot catch a secret printed in any other form. Keep spendable keys out of projects you test with an agent.No transactions. No tool broadcasts, deploys, signs or takes a key.
To report a vulnerability, see SECURITY.md.
Passing tests do not prove a contract is secure. They show the tests you wrote pass. Contracts that will hold value need an independent audit.
Foundry compatibility
Tested in CI against forge 1.8.5 and 1.8.6 on Linux, macOS and Windows. Supported range:
>=1.8.5 <1.9.0. Older versions are refused. Newer ones run with a forgeUntested note
(or are refused with --strict-version).
Development
npm test runs the unit tests. With FORGE_BIN=/path/to/forge it also runs the integration
tests against a real forge. npm run lint checks style. Requirement IDs in code and tests
(FR-, NFR-, D-) refer to the project's internal specification.
License
MIT © Vitaliy Chernov. See NOTICE for the licences of the dependencies.
Available Tools
3 toolsbuildA
Compile the project with forge build and return compiler errors and warnings as structured items (file, line, column, code, message). Unchanged files are not recompiled and forge does not repeat their warnings; pass force: true to recompile everything.
| Name | Required | Description | Default |
|---|---|---|---|
| force | No | Recompile everything, so warnings for unchanged files are reported again. | |
| max_bytes | No | Response size budget in bytes (default 8192). |
TDQS
Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
No annotations are present, so the description carries the full burden, and it discloses the key non-obvious trait: incremental compilation skips unchanged files and suppresses their warnings, which explains seemingly missing diagnostics. It also implies compile errors are returned as data rather than thrown, but does not state failure semantics, permissions, or whether a run can partially succeed.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.
Is the description appropriately sized, front-loaded, and free of redundancy?
Two sentences, front-loaded with the action and return shape, then the caching caveat with its remedy. Every clause carries information an agent needs.
Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.
Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?
With no output schema and no annotations, the description still names the return item fields and the caching behavior, which is enough to call it correctly. It leaves open what a total compile failure looks like in the response, a minor gap for a two-parameter tool.
Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.
Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?
Schema description coverage is 100%, so both parameters are already documented; the description only restates force's effect and says nothing about max_bytes, the response-size budget, which is the less obvious of the two knobs.
Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.
Does the description clearly state what the tool does and how it differs from similar tools?
States a specific verb and resource ("Compile the project with `forge build`") plus what it returns (errors and warnings with file/line/column/code/message). It is clearly distinguishable in practice from run_tests and explain_failure, though it never names those siblings explicitly.
Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.
Does the description explain when to use this tool, when not to, or what alternatives exist?
Gives a concrete condition for the one meaningful option: pass force: true when you need warnings from unchanged files re-reported. It does not say when to prefer this over run_tests or explain_failure, so the alternative-selection guidance is implied rather than stated.
Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.
explain_failureA
Re-run one test at high verbosity and return only that test: its reason, decoded call trace (trimmed to the path to the revert when long), backtrace, logs and, for fuzz or invariant tests, the counterexample. Pass the test name as run_tests reports it, e.g. "BankTest.test_transfer()".
| Name | Required | Description | Default |
|---|---|---|---|
| test | Yes | Test function, optionally with its contract: "Contract.test_name()". | |
| contract | No | Test contract, if not given in `test`. | |
| max_bytes | No | Response size budget in bytes (default 8192). |
TDQS
Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
With no annotations, the description carries the full load and does so well: it discloses that the test is re-executed, that output is filtered to that single test, that the decoded call trace is trimmed to the path to the revert when long, and that fuzz/invariant tests yield a counterexample. It omits cost/side-effect implications of re-running and any permission notes, keeping it short of a 5.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.
Is the description appropriately sized, front-loaded, and free of redundancy?
Two dense sentences with no filler; the core action leads and the naming requirement closes. Every clause adds something an agent would otherwise have to guess.
Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.
Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?
With no output schema, the description takes on the burden of explaining return contents and does — reason, trimmed call trace, backtrace, logs, counterexample. It stops short of describing the `max_bytes` budget or `contract` override, though both are documented in the schema.
Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.
Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?
Schema coverage is 100%, so the baseline is 3; the description still adds real value by giving a concrete format example ('BankTest.test_transfer()') and tying the naming convention to what run_tests emits. It does not mention `contract` or `max_bytes`, which remain schema-only.
Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.
Does the description clearly state what the tool does and how it differs from similar tools?
States a specific verb and resource ('Re-run one test at high verbosity and return only that test') and immediately scopes it against the sibling run_tests, which runs whole suites. An agent can tell exactly what this produces without opening the schema.
Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.
Does the description explain when to use this tool, when not to, or what alternatives exist?
Guidance is implicit but strong: this is the drill-down step after run_tests reports a failure, and the description tells the caller to pass the test name 'as run_tests reports it'. It lacks an explicit 'use run_tests instead when...' exclusion, but the relationship to the sibling is clear enough to route correctly.
Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.
run_testsA
Run forge test and return a compact summary: counts, and for each failing test its kind (unit, fuzz, invariant, setup), decoded reason, fuzz counterexample or invariant call sequence, and console logs. isError means the tests did not run (compile error, no matching tests, timeout, missing forge, …); never report that as passing.
| Name | Required | Description | Default |
|---|---|---|---|
| traces | No | Attach a decoded trace excerpt to the first 5 failures (a second, text-mode forge run). Default true. | |
| fuzz_runs | No | Override fuzz runs. A value below the project setting is reported as reduced; do not use it to make tests pass. | |
| max_bytes | No | Response size budget in bytes (default 8192). | |
| match_path | No | Only run test files matching this glob. | |
| match_test | No | Only run test functions matching this regex. | |
| match_contract | No | Only run test contracts matching this regex. |
TDQS
Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
With no annotations, the description carries the burden well: it explains the compact summary contents, failure kinds, decoded reasons, counterexamples, logs, and the critical `isError` semantics. It does not mention side effects such as build artifact writes or permission requirements, but the core behavioral contract is clearly disclosed.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.
Is the description appropriately sized, front-loaded, and free of redundancy?
Two dense sentences with zero waste. The primary action and return shape are front-loaded, followed by the essential error-handling caveat.
Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.
Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?
For a test runner with optional filters and no output schema, the description sufficiently explains what is returned and how errors should be interpreted. It could be slightly more complete by mentioning how it relates to sibling tools or by noting potential build side effects, but the essential context is present.
Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.
Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?
Schema description coverage is 100%, so the schema already documents all six optional parameters in detail. The description adds no parameter-specific information beyond what the schema provides, making the baseline 3 appropriate.
Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.
Does the description clearly state what the tool does and how it differs from similar tools?
States a specific verb ('Run `forge test`') and resource/action, plus the exact return shape. It is clear what the tool does, but it does not explicitly distinguish itself from siblings like `explain_failure` or `build`.
Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.
Does the description explain when to use this tool, when not to, or what alternatives exist?
Provides an important usage caveat about `isError` not meaning passing tests, but gives no explicit guidance on when to choose this tool versus `explain_failure` or `build`. Usage is implied by the test-running purpose rather than stated as a decision rule.
Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.
Tool Schema Changelog
Recent tool additions, removals, and schema changes observed during successful MCP inspections.
3 tool updates
v0.1.0- First observed
build - First observed
explain_failure - First observed
run_tests
TDQS
Scored across 3 tools
run_tests, explain_failure, and build have clearly distinct purposes: one runs the suite, one drills into a single failure at high verbosity, one compiles. An agent can easily route each request.
run_tests and explain_failure follow verb_noun, while build is a bare verb. Minor deviation but still readable and predictable.
Three tools is slightly thin but each earns its place covering the core workflow of build, run, and diagnose. Well-scoped for a focused Foundry testing server.
The build-run-explain lifecycle is fully covered, including structured compiler output and fuzz/invariant counterexamples. Minor gaps like listing tests or coverage exist but core workflows are complete.
Maintenance
Related MCP Connectors
Change-aware CI validation and affected-test guidance for coding agents.
Direct access to Cypress tests results and accessibility reports in your AI workflow.
Find your AI agent's likely failure mode, get runtime settings, and clarify ambiguous prompts.
Structured knowledge base for AI agent solutions. Search, explore, and retrieve build logs.
Related MCP Servers
- AlicenseBqualityDmaintenanceEnables AI assistants to manage development workflows by running build commands, executing tests, analyzing package.json files, installing dependencies, and performing code linting. Supports multiple package managers (npm, yarn, pnpm) and provides detailed error reporting for development operations.5MIT
- AlicenseAqualityDmaintenanceProvides structured build, compile, and test operations with parsed output to reduce token usage and improve readability.9MIT
- AlicenseAqualityBmaintenanceProvides structured, sandboxed test and lint feedback for coding agents, returning compact typed verdicts with failure fingerprints instead of raw runner output. It enables impact-selected test execution in isolated containers, distinguishing pre-existing failures from regressions.427 PyPIApache 2.0
- AlicenseAqualityBmaintenanceProvides AI coding agents with reliable root-cause diagnosis and minimal, high-confidence fixes for failing tests.31MIT