Getting it into your agent
One page per mod, every tool's command on it. A separate URL per tool would split the same page into five that compete with each other.
npx agentmods add mcp/corvidae-coding-projects/thermite/crosslink-agent-promptgit clone --depth 1 https://github.com/Corvidae-Coding-Projects/ThermiteWrote this? Show the measurements
A badge with what this costs and how it scanned, read live from this page, so it follows the numbers instead of freezing them. Markdown for a README, HTML for a documentation site or a project page.
[](https://agentmods.dev/mcp/corvidae-coding-projects/thermite/crosslink-agent-prompt)<a href="https://agentmods.dev/mcp/corvidae-coding-projects/thermite/crosslink-agent-prompt"><img src="https://agentmods.dev/badge/mcp/corvidae-coding-projects/thermite/crosslink-agent-prompt.svg" alt="Measured on agentmods" height="20"></a>Grade A, and why
crosslink-agent-prompt scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured 4d ago.
A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.
Nothing flagged
None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.
What it actually says
{
"crosslink-agent-prompt": {
"args": [
"run",
".claude/mcp/agent-prompt-server.py"
],
"command": "uv"
}
}What else .mcp.json configures
This page is one entry in a file that holds 3. Installing the file brings all of them; each is measured and scanned on its own page.
What this file has done since we first saw it
Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.
- 4d ago First seen · 9 lines scan A bd27580fb04b
crosslink-agent-prompt is an MCP server published in the GitHub repository Corvidae-Coding-Projects/Thermite (53 stars, last pushed 27d ago), licensed MIT. Its token cost is not measured: an MCP server costs its tool schemas, not its config file. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-08-30.
Other mcp servers, from other repositories
mathlas
A tool FOR an AI (no API key, no LLM): search existing math over a 3.7M-doc index + airtight numeric/Lean verification + mathlib search (Loogle/LeanSearch) + OEIS/PSLQ identification + needs guarantees scaffolds, served over MCP. Runs locally from the mathlas-mcp Python package. Needs 2 environment variables to run.
leanforge-mcp
MCP server "leanforge-mcp" as configured in sandraschi/leanforge-mcp. Launched with https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.0/leanforge-m.
leanscreen
A calibrated faithfulness screen for informal↔Lean 4 statement pairs, on the command line and over MCP. Screens only, never certifies. Runs locally from the leanscreen Python package.
neus-mcp
The trust harness for AI agents. Set what an agent can do before it acts. Remote server at mcp.neus.network.
edict
AI-agent programming language. JSON AST in, WASM out. Typed, effect-tracked, Z3-verified. Runs locally from the edict-lang npm package.
sounio
MCP server "sounio" as configured in Sounio-lang/sounio. Runs sounio_mcp.server with /workspace/sounio/.venv/bin/python3. Needs 1 environment variable to run.