gapproof
This server does not currently have a deployable release on Glama. Follow the repository's setup instructions to install and configure it for your MCP client, including any required credentials and local dependencies.
gapproof
gapproof is a local test-gap analysis tool for a code repository. It walks the sources, extracts the functions it finds, checks which of them are mentioned by a test, and reports the gaps: functions no test appears to cover. Recorded test runs add a second, stronger signal — a function named by a passing run (directly, or through the test that links it) counts as proven, not just linked — and the two signals combine into a single coverage score.
This package is a clean-room rebuild, and a labelled core subset:
it covers 12 of the 18 tools documented for the original Orangepro
MCP server (orangepro_*). The omitted tools are listed under
"Scope" below.
How it works — honestly
There is no AST, no parser, and no network call anywhere. The engine is a set of documented heuristics:
Walk. Starting at the given root, it skips
node_modules,.git,dist, and dot-directories. Files ending in.ts,.tsx,.js,.jsx, or.pyare classified as tests when they live undertest/,tests/, or__tests__/, or are named*.test.*,*.spec.*,test_*.py, or*_test.py; all others are sources.Extraction (regex). TypeScript/JavaScript:
function name(,export function name(, andconst name = (...) =>(alsolet/var, thefunctionkeyword form, and an optionalasync). Python:def name(. A Python name not starting with_counts as exported; a TS/JS name counts as exported when declared withexport.Linking. A function is linked when its name appears as a word in some test file's content.
Proving.
orangepro_record_runappends a run (test,outcome: "pass" | "fail", optionalfunctions) to the persisted graph. A function is proven when a passing run names the function, or names a test file / test case that links it.Score.
60% × linked ratio + 40% × proven ratio, reported on a 0–100 scale with one decimal place.RTM. Requirement ids matching
[A-Z]+-\d+are read from source comments only (//,/* … */,#) and associated with the functions defined in the same file.
State lives in one file: <root>/.gapproof/graph.json, written by
orangepro_start and orangepro_record_run. Everything else reads
the repository (and that graph, when runs matter) without writing.
Related MCP server: repo-guardian
Install
npx @reneturcios/gapproof orangepro_start '{"root":"/path/to/repo"}'Or run the container image:
docker run -i ghcr.io/cloudcorprecords/gapproofThe container defaults to the MCP server. Pass CLI arguments to use it as a CLI instead. No API key is needed — the original's optional model key only powers its AI test-generation tools, which this subset omits.
CLI
The CLI mirrors the tools: one subcommand per tool, taking its arguments as a single JSON object.
gapproof orangepro_start '{"root":"/path/to/repo"}'
gapproof orangepro_analyze_sources '{"root":"/path/to/repo"}'
gapproof orangepro_find_test_gaps '{"root":"/path/to/repo","limit":10}'
gapproof orangepro_status '{"root":"/path/to/repo"}'
gapproof orangepro_record_run '{"root":"/path/to/repo","test":"math.test","outcome":"pass"}'
gapproof orangepro_export_evidence_pack '{"root":"/path/to/repo"}'
gapproof --versionExit codes: 0 on success, 1 on an analysis or validation error,
2 for usage errors.
MCP server
One bin serves both faces. The mcp subcommand starts a stdio MCP
server:
npx -y @reneturcios/gapproof mcpMCP client configuration:
{
"mcpServers": {
"gapproof": {
"command": "npx",
"args": ["-y", "@reneturcios/gapproof", "mcp"]
}
}
}Tools
All tools take root (the repository path) unless noted.
Tool | Extra input | What it returns |
| — | Analyzes the repo, persists |
| — | The same walk without persisting: per-file function lists plus the total function count. |
|
| Unlinked functions as |
| — | With a persisted graph: |
| — |
|
| — |
|
| — |
|
| — |
|
|
|
|
|
| Appends a run to the graph (running a fresh analysis first when no graph exists) and returns |
|
| Locates a test file by name substring and returns |
| — |
|
Scope
Omitted from this core subset: orangepro_prove_loop,
orangepro_prove, orangepro_generate_tests,
orangepro_update_graph, orangepro_ai_links, and
orangepro_ai_flows. Those are the original's proof-execution and
AI-assisted tools; the AI flows need a model key in the original.
This subset reproduces the local analysis surface only, with the
heuristic limits stated above: name-based linking can miss indirect
coverage and can credit a coincidental mention, and comment-based
RTM extraction only sees ids written in comments.
Development
npm install
npm run build # tsc -> dist/
npm test # node test runner over test/*.test.ts, in-memory fixture repo, no network, no disk
npm run dev # run the CLI from source via tsxLicense
MIT — see LICENSE.
Tool Schema Changelog
Recent tool additions, removals, and schema changes observed during successful MCP inspections.
Loading tool schema changelog…
This server cannot be deployed
Maintenance
Related MCP Connectors
Free MCP tools: the only MCP linter, health checks, cost estimation, and trust evaluation.
Scan any public GitHub MCP-server repo for security issues. 37 MCP-specific L1 rules, 8 languages.
Remote MCP for tool license checks, vendor policy review, alternatives, and license receipts.
Scan any MCP server for tool-poisoning, security, auth & license. Trust score before install.
Related MCP Servers
- AlicenseAqualityBmaintenanceTest coverage intelligence MCP server for TypeScript and JavaScript projects. Analyzes coverage reports to find untested functions, computes cyclomatic complexity, and suggests test cases locally.452 npm3MIT
- AlicenseAqualityCmaintenanceEnables agents to audit and safeguard repositories by detecting dependency pinning issues, license compliance problems, hardcoded secrets, and dead code through MCP tools.4MIT
- FlicenseNot gradedqualityCmaintenanceEnables natural language analysis of local software repositories, providing insights into project structure, technologies, code, tests, and Git history through MCP tools.-

Celmis MCP Serverofficial
AlicenseNot gradedqualityBmaintenanceEnables querying indexed code across multiple repositories with file-level citations, reviewing pull requests, auditing dependencies, and exporting SBOMs and evidence packs through MCP tools.3AGPL 3.0