Atomadic Forge
REMOTE · FORGE.ATOMADIC.TECH · 2 COMPONENTS
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
Available components
Last scanned (5 hours ago)
Scores higher than 43% of remote servers
Reachable. Last reached 5 Nov 2026.
Category Developer Tools
Deprecated
This server is marked deprecated in the MCP registry.
The registry records this reason: Retired: forge.atomadic.tech/mcp returns 404 and the PyPI package is a retired shim. Live server: io.github.atomadictech/aaaa-nexus. Public repo: github.com/atomadictech/atomadic-mcp.
Recent critical change
Authorization (1 Nov 2026). See the changelog before you install this server.
How this component scores in each security and reliability category. Every signal is checked automatically against the live server, and we only credit what we can confirm. How we score → Why this is hard to score →
Endpoint Security57
- The endpoint's TLS certificate is valid, in date, and uses a strong key. View diagnostics → Pass
- Authorisation check failed: no authorisation is required to call this server, and it exposes a tool marked destructive (escrow_dispute). See how to fix → View diagnostics → Fail
- HTTPS is enforced; there's no plaintext access path. View diagnostics → Pass
- HSTS check failed: the Strict-Transport-Security header is absent. See how to fix → View diagnostics → Fail
- DNSSEC check failed: this domain isn't protected by DNSSEC. See how to fix → View diagnostics → Fail
Transport & Reachability100
- Verified streamable-http transport via a live MCP handshake. View diagnostics → Pass
Schema Quality & AI Usability49
- AI-judged instruction clarity (fair).Partial
- Tool/resource definitions use about 3129 tokens (~46/item across 68 items; 68 tools + 0 resources), lean.Pass
- Usage-examples check failed: none of the tools include examples. See how to fix → Fail
Stability & Change Management13
- Stability check failed: schema churn in the 4 days we've observed: 0 tool removals, 1 breaking changes, 0 auth/transport breaks, 0 additions. See how to fix → Fail
Tool Coverage71
- 100% of tools have a non-trivial description (not blank, and not just the tool's name).Pass
- 13% of tool parameters carry a description.Partial
Tool Safety100
- No prompt-injection markers were found in the server instructions, tool names or descriptions we captured.Pass
- We read all 68 captured tool definition(s), and no name or description among them implies an irreversible operation.Pass
- An AI judge read all 69 captured unit(s) of tool text and found none that tries to manipulate the model reading it.Pass
Capabilities20
- Spec-recency check failed: implements MCP spec 2024-11-05; the latest is 2026-07-28. See how to fix → Fail
Every change we have recorded for this component, newest first. Security-relevant changes are always shown. ▲ marks a change for the better, ▼ a change for the worse; unmarked changes are neutral.
- 5 Nov 26 +1
No change was recorded against any check on this day. Stability & Change Management went from 9 to 13.
- 4 Nov 26 0
- Stability: 0.07 → fail ▼ security
- The server rewrote its instructions, which are the text every model session reads security
- Tool “compliance_check” rewrote its description, which is the text the model reads security
- “compliance_check” dropped the required parameter “data_type” ▼ functional
- “compliance_check” dropped the required parameter “jurisdiction” ▼ functional
- “compliance_check” dropped the required parameter “operation” ▼ functional
- Schema quality: poor → fair functional
- Server version: 124 → 126 functional
- “compliance_check” added an optional parameter “chain_depth” cosmetic
- “compliance_check” added an optional parameter “description” cosmetic
- “compliance_check” added an optional parameter “kl_divergence” cosmetic
- 3 Nov 26 +1
- Server version: 0.6.9 → 124 functional
- 2 Nov 26 0
- Stability: unverified → 0.03 ▲ functional
- 1 Nov 26 +31
- Authorization: unverified → fail ▼ critical
- Injection markers: unverified → pass ▲ security
- Transport: fail → pass ▲ security
- First check of Judged manipulation: pass security
- MCP protocol: unverified → fail ▼ functional
- Tool coverage: unverified → 100 ▲ functional
- First check of Schema quality: pass functional
- First check of Destructive annotations: pass functional
- First check of Schema quality: poor functional
- First check of Schema quality: fail functional
- First check of Tool coverage: 11 functional
- 26 Oct 26 0
- Transport: Transport check failed: declared streamable-http, but the endpoint returned HTTP 405. security
- 28 Sept 26 0
- We updated how we score, so this day's move reflects our rubric, not a change to the server See what changed → functional
- 25 Sept 26 0
- We updated how we score, so this day's move reflects our rubric, not a change to the server See what changed → functional
Diagnostic detail from the automated scan of this channel: what the scanner observed at each step, so you can see exactly where a check passed or failed. It is informational only and never changes the trust score.
Captured 5 Nov 2026 · Probed https://forge.atomadic.tech/mcp
TLS valid
Negotiated TLS 1.3 with TLS_AES_128_GCM_SHA256 .
| Subject | Issuer | Valid from | Valid until | Key | Signature | Serial |
|---|---|---|---|---|---|---|
| CN=forge.atomadic.tech | CN=WE1,O=Google Trust Services,C=US | 25 Oct 2026 | 23 Jan 2027 | ECDSA 256 | ECDSA-SHA256 | 320b49c41110ab580e9edccebadcda39 |
| SANs: forge.atomadic.tech | ||||||
| CN=WE1,O=Google Trust Services,C=US (CA) | CN=GTS Root R4,O=Google Trust Services LLC,C=US | 13 Dec 2023 | 20 Feb 2029 | ECDSA 256 | ECDSA-SHA384 | 7ff31977972c224a76155d13b6d685e3 |
| CN=GTS Root R4,O=Google Trust Services LLC,C=US (CA) | CN=GlobalSign Root CA,OU=Root CA,O=GlobalSign nv-sa,C=BE | 15 Nov 2023 | 28 Jan 2028 | ECDSA 384 | SHA256-RSA | 7fe530bf331343bedd821610493d8a1b |
Background: What to check on a remote MCP endpoint →
DNSSEC insecure
Validation of forge.atomadic.tech. — Not signed
| Zone | DS | Keys | Algorithms | Outcome |
|---|---|---|---|---|
| . | trust_anchor | 20326, 38696 | 8, 8 | Verified |
| tech. | present | 2185 | 13 | Verified |
| atomadic.tech. | absent | Unsigned (proven) parent-signed NSEC/NSEC3 proves an unsigned delegation |
Authentication No authorisation required
The endpoint answered without asking for a token. Anyone who knows the URL can reach it.
| Result | No authorisation required |
|---|---|
| HTTP status | 200 |
Background: How OAuth 2.1 works in the 2026 MCP spec →
Transports 2 probes
| Transport | URL | Outcome | Status | Location |
|---|---|---|---|---|
| streamable-http | https://forge.atomadic.tech/mcp | Verified | 200 | |
| http (plaintext) | http://forge.atomadic.tech/mcp | HTTPS enforced | 301 | https://forge.atomadic.tech/mcp |
The tools this component advertises to a client, with an estimated token cost for each. Expand a tool to see its parameters and schema. The per-tool counts are indicative and are not scored directly; the schema's total context footprint is one signal in Schema Quality & AI Usability. A tool's description is untrusted text the model reads on every call, which is what makes this list a security surface and not just an inventory: how tool poisoning works →
agents_contradiction Agents Contradiction ~50
[agents] Detect contradictions between two free-text agent outputs (natural-language claim drift). For structured key/value claims that must agree, use detect_contradiction instead.
| Name | Type | Req | Description |
|---|---|---|---|
| statements | array | yes | – |
No output schema declared.
No examples provided.
agents_intent_classify Agents Intent Classify ~25
[agents] Agent intent classification
| Name | Type | Req | Description |
|---|---|---|---|
| text | string | yes | – |
No output schema declared.
No examples provided.
agents_plan Agents Plan ~44
[agents] Autonomous agent goal planning
| Name | Type | Req | Description |
|---|---|---|---|
| constraints | object | – | Optional constraints for the plan (e.g., time limits, resource caps) |
| goal | string | yes | – |
No output schema declared.
No examples provided.
agents_register Agents Register ~30
[agents] Register an agent
| Name | Type | Req | Description |
|---|---|---|---|
| agent_id | string | yes | – |
| capabilities | array | yes | – |
No output schema declared.
No examples provided.
agents_reputation Agents Reputation ~26
[agents] Agent reputation and trust score
| Name | Type | Req | Description |
|---|---|---|---|
| agent_id | string | yes | – |
No output schema declared.
No examples provided.
agents_semantic_diff Agents Semantic Diff ~67
[agents] Semantic diff between two free-text agent outputs (meaning-level change, not text-level). Use forge_verify for build artifacts and drift_check for certified operational drift.
| Name | Type | Req | Description |
|---|---|---|---|
| context | string | – | – |
| output_a | string | yes | – |
| output_b | string | yes | – |
No output schema declared.
No examples provided.
agents_topology Agents Topology ~16
[agents] Live swarm topology
Input schema present but exposes no named parameters.
No output schema declared.
No examples provided.
audit_work_claim Audit Work Claim ~131
[Ledger product, entitlement: ledger] Recompute-audit an agent work claim: re-derive a deterministic SHA-256 digest from the claimed inputs and check it against the claimed digest. Returns GREEN (matches), RED (tampered), or UNVERIFIED (no claim supplied). Replay, not opinion. 3 free calls/day, then entitlement 'ledger'.
| Name | Type | Req | Description |
|---|---|---|---|
| claimed_digest | string | – | The agent's claimed SHA-256 digest to verify against. Omit for UNVERIFIED + the recomputed digest. |
| inputs | object | yes | The work/claim payload to recompute a digest over. |
No output schema declared.
No examples provided.
compliance_check Compliance Check ~147
[security] Delegation-depth + KL gate (GOV-100). Reads chain_depth and kl_divergence. It does NOT read your data description and does NOT evaluate GDPR/CCPA - compliant:true only means the delegation chain is shallow and KL is under epsilon.
| Name | Type | Req | Description |
|---|---|---|---|
| chain_depth | integer | – | Delegation chain depth. Higher = deeper hand-off. Past the gate threshold the result escalates to quarantine_escalation. |
| description | string | – | Free text. Accepted for readability and IGNORED by the gate. It never changes the verdict. |
| kl_divergence | number | – | eps_KL divergence of the current policy from baseline. Above epsilon fails the gate. |
No output schema declared.
No examples provided.
compliance_eu_ai_act Compliance Eu Ai Act ~45
[security] EU AI Act compliance certificate
| Name | Type | Req | Description |
|---|---|---|---|
| intended_purpose | string | yes | – |
| risk_category | string | yes | – |
| system_id | string | yes | – |
No output schema declared.
No examples provided.
compliance_explain Compliance Explain ~48
[security] Explainability certificate (XPL-100-ExplainBound)
| Name | Type | Req | Description |
|---|---|---|---|
| decision_id | string | yes | – |
| model_id | string | yes | – |
| subject_context | object | yes | – |
No output schema declared.
No examples provided.
compliance_fairness Compliance Fairness ~57
[security] Fairness proof (FNS-100-FairnessBound)
| Name | Type | Req | Description |
|---|---|---|---|
| dataset_id | string | yes | – |
| metric | string | yes | – |
| model_id | string | yes | – |
| protected_attrs | array | yes | – |
No output schema declared.
No examples provided.
compliance_incident Compliance Incident ~46
[security] Report compliance incident
| Name | Type | Req | Description |
|---|---|---|---|
| affected_users | integer | yes | – |
| description | string | yes | – |
| severity | string | yes | – |
| system_id | string | yes | – |
No output schema declared.
No examples provided.
compliance_incidents Compliance Incidents ~23
[security] Incident registry
| Name | Type | Req | Description |
|---|---|---|---|
| system_id | string | yes | – |
No output schema declared.
No examples provided.
compliance_lineage Compliance Lineage ~39
[security] Data lineage (LIN-100-ChainIntegrity)
| Name | Type | Req | Description |
|---|---|---|---|
| dataset_stages | array | yes | – |
| model_id | string | yes | – |
No output schema declared.
No examples provided.
compliance_oversight Compliance Oversight ~47
[security] Log oversight event
| Name | Type | Req | Description |
|---|---|---|---|
| decision | string | yes | – |
| notes | string | yes | – |
| reviewer_id | string | yes | – |
| system_id | string | yes | – |
No output schema declared.
No examples provided.
compliance_oversight_history Compliance Oversight History ~26
[security] Oversight history
| Name | Type | Req | Description |
|---|---|---|---|
| system_id | string | yes | – |
No output schema declared.
No examples provided.
compliance_transparency Compliance Transparency ~37
[security] Transparency report
| Name | Type | Req | Description |
|---|---|---|---|
| include | array | yes | – |
| period | string | yes | – |
| system_id | string | yes | – |
No output schema declared.
No examples provided.
defi_bridge_verify Defi Bridge Verify ~62
[defi] Bridge Proof (BRP-100-BridgeIntegrity)
| Name | Type | Req | Description |
|---|---|---|---|
| amount | number | yes | – |
| bridge_id | string | yes | – |
| dest_chain | string | yes | – |
| source_chain | string | yes | – |
| token | string | yes | – |
No output schema declared.
No examples provided.
defi_contract_audit Defi Contract Audit ~41
[defi] Contract Verify (CVR-100-AuditBound)
| Name | Type | Req | Description |
|---|---|---|---|
| contract_id | string | yes | – |
| contract_type | string | yes | – |
No output schema declared.
No examples provided.
defi_liquidation_check Defi Liquidation Check ~59
[defi] Liquid Shield (LQS-100-LiquidationBound)
| Name | Type | Req | Description |
|---|---|---|---|
| collateral_factor | number | yes | – |
| collateral_value | number | yes | – |
| debt_value | number | yes | – |
| position_id | string | yes | – |
No output schema declared.
No examples provided.
defi_optimize Defi Optimize ~48
[defi] LP parameter optimization (DFP-100-OptimalTick)
| Name | Type | Req | Description |
|---|---|---|---|
| position | object | yes | – |
| protocol | string | yes | – |
| risk_tolerance | number | yes | – |
No output schema declared.
No examples provided.
defi_oracle_verify Defi Oracle Verify ~68
[defi] Oracle guard (OGD-100-ManipulationBound)
| Name | Type | Req | Description |
|---|---|---|---|
| asset | string | yes | – |
| oracle_address | string | yes | – |
| price_feed | string | yes | – |
| reference_price | number | yes | – |
| tvl_at_risk | number | yes | – |
No output schema declared.
No examples provided.
defi_risk_score Defi Risk Score ~50
[defi] DeFi risk scoring (DFI-101-RiskScoreBound)
| Name | Type | Req | Description |
|---|---|---|---|
| market_conditions | object | yes | – |
| position | object | yes | – |
| protocol | string | yes | – |
No output schema declared.
No examples provided.
defi_yield_optimize Defi Yield Optimize ~45
[defi] Yield Oracle (YLD-100-YieldConvergence)
| Name | Type | Req | Description |
|---|---|---|---|
| principal_usd | number | yes | – |
| risk_tolerance | number | yes | – |
No output schema declared.
No examples provided.
detect_contradiction Detect Contradiction ~95
[Ledger product, entitlement: ledger] Detect contradictions across structured claims: the same key asserted with conflicting values flips RED, otherwise GREEN. Deterministic and recomputable. Use agents_contradiction instead when comparing free-text agent prose. 3 free calls/day, then entitlement 'ledger'.
| Name | Type | Req | Description |
|---|---|---|---|
| claims | array | yes | List of claim objects, each with a 'key' (or 'subject') and a 'value'. |
No output schema declared.
No examples provided.
drift_certificate Drift Certificate ~21
[trust] Drift certificate
| Name | Type | Req | Description |
|---|---|---|---|
| id | string | yes | – |
No output schema declared.
No examples provided.
drift_check Drift Check ~48
[trust] DriftGuard check (DRG-100-DriftBound)
| Name | Type | Req | Description |
|---|---|---|---|
| current_window | object | yes | – |
| model_id | string | yes | – |
| reference_window | object | yes | – |
No output schema declared.
No examples provided.
enforce_sla Enforce Sla ~93
[Ledger product, entitlement: ledger] Enforce an SLA/obligation by recomputation: the obligation is met only if the work verifies GREEN against its claimed digest. 3 free calls/day, then entitlement 'ledger'.
| Name | Type | Req | Description |
|---|---|---|---|
| claimed_digest | string | – | Claimed digest the obligation is conditioned on. |
| inputs | object | yes | The work payload to verify. |
| obligation | string | – | Human-readable obligation label. |
No output schema declared.
No examples provided.
escrow_create Escrow Create ~56
[defi] Create agent-to-agent escrow
| Name | Type | Req | Description |
|---|---|---|---|
| amount | number | yes | – |
| conditions | object | – | – |
| currency | string | yes | – |
| payee_id | string | yes | – |
| payer_id | string | yes | – |
No output schema declared.
No examples provided.
escrow_dispute Escrow Dispute ~39
[defi] Open escrow dispute
| Name | Type | Req | Description |
|---|---|---|---|
| escrow_id | string | yes | – |
| evidence | object | – | – |
| reason | string | yes | – |
No output schema declared.
No examples provided.
escrow_release Escrow Release ~25
[defi] Release escrowed funds
| Name | Type | Req | Description |
|---|---|---|---|
| escrow_id | string | yes | – |
No output schema declared.
No examples provided.
forge_badge Forge Badge ~32
[fuse] Model quality badge
| Name | Type | Req | Description |
|---|---|---|---|
| model | string | yes | Model id to fetch the quality badge for. |
No output schema declared.
No examples provided.
forge_delta_submit Forge Delta Submit ~40
[fuse] Submit a model delta
| Name | Type | Req | Description |
|---|---|---|---|
| delta | object | yes | – |
| description | string | – | – |
| model_id | string | yes | – |
No output schema declared.
No examples provided.
forge_leaderboard Forge Leaderboard ~17
[fuse] Model leaderboard
Input schema present but exposes no named parameters.
No output schema declared.
No examples provided.
forge_quarantine Forge Quarantine ~18
[fuse] Quarantined models
Input schema present but exposes no named parameters.
No output schema declared.
No examples provided.
forge_verify Forge Verify ~33
[fuse] Verify a model submission
| Name | Type | Req | Description |
|---|---|---|---|
| model_id | string | yes | – |
| verification_type | string | – | – |
No output schema declared.
No examples provided.
identity_sybil_check Identity Sybil Check ~19
[identity] Sybil-resistance check
Input schema present but exposes no named parameters.
No output schema declared.
No examples provided.
identity_verify Identity Verify ~24
[identity] Topological identity verification
| Name | Type | Req | Description |
|---|---|---|---|
| agent_id | string | yes | – |
No output schema declared.
No examples provided.
inference Inference ~25
[inference] Chat inference with hallucination guard
| Name | Type | Req | Description |
|---|---|---|---|
| messages | array | yes | – |
No output schema declared.
No examples provided.
inference_stream Inference Stream ~27
[inference] Streaming inference with chain-of-thought
| Name | Type | Req | Description |
|---|---|---|---|
| messages | array | yes | – |
No output schema declared.
No examples provided.
murmuration Murmuration ~97
START HERE (free, no key). Initialize your Atomadic control surface in one call: returns a verbose, step-by-step setup (SDK install, MCP connect, your unlocked tools), a RUNNABLE polyglot demo that proves the superpowers, recon links, and a one-command bootstrap. Idempotent — re-call anytime to re-check.
| Name | Type | Req | Description |
|---|---|---|---|
| agent_id | string | – | Optional stable id to track your onboarding state across calls. |
No output schema declared.
No examples provided.
oracle_entropy Oracle Entropy ~16
[trust] Entropy epoch oracle
Input schema present but exposes no named parameters.
No output schema declared.
No examples provided.
oracle_hallucination Oracle Hallucination ~33
[trust] Hallucination oracle
| Name | Type | Req | Description |
|---|---|---|---|
| claim | string | yes | – |
| context | string | – | – |
No output schema declared.
No examples provided.
rag_augment Rag Augment ~18
[inference] Trusted RAG augmentation
Input schema present but exposes no named parameters.
No output schema declared.
No examples provided.
ratchet_advance Ratchet Advance ~29
[identity] RatchetGate — advance session
| Name | Type | Req | Description |
|---|---|---|---|
| session_id | string | yes | – |
No output schema declared.
No examples provided.
ratchet_probe Ratchet Probe ~20
[identity] RatchetGate — health probe
Input schema present but exposes no named parameters.
No output schema declared.
No examples provided.
ratchet_register Ratchet Register ~28
[identity] RatchetGate — register session
| Name | Type | Req | Description |
|---|---|---|---|
| session_id | string | yes | – |
No output schema declared.
No examples provided.
receipt_reputation Receipt Reputation ~80
[Ledger product, entitlement: ledger] Compute an agent's reputation from a ledger of verifiable receipts (verified minus refuted), deterministically - not from vibes or LLM judgment. 3 free calls/day, then entitlement 'ledger'.
| Name | Type | Req | Description |
|---|---|---|---|
| receipts | array | yes | List of receipt objects, each with an 'ok' boolean and optional 'score'. |
No output schema declared.
No examples provided.
render_polyglot_all_pure Render Polyglot All Pure ~81
[Fuse product · entitlement: fuse · FREE_R2_DEMO] Polyglot emit to all 7 supported targets in one call. Returns {ok, ir, results, languages}. Canonical demo examples baked to R2; novel inputs via SDK.
| Name | Type | Req | Description |
|---|---|---|---|
| atom_name | string | yes | – |
| source_text | string | yes | – |
No output schema declared.
No examples provided.
How do I install the Atomadic Forge MCP server?
Atomadic Forge is a hosted endpoint at https://forge.atomadic.tech/mcp, so there is nothing to install locally. Ready-made configuration for Claude, Cursor, VS Code, Codex and 5 more is on this page, copied from each client's own documentation.
remote · forge.atomadic.tech
claude mcp add --transport http atomadictech-atomadic-forge 'https://forge.atomadic.tech/mcp'
What is the Atomadic Forge MCP server?
Atomadic Forge is an MCP server listed in the public MCP registry as io.github.atomadictech/atomadic-forge. Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert. This page covers its hosted endpoint (https://forge.atomadic.tech/mcp).
Is the Atomadic Forge MCP server safe to use?
Atomadic Forge scores 56 out of 100 on VerifyMCP. That is a record of what we were able to check automatically, not an endorsement. The category breakdown on this page shows every signal behind the number, including the ones we could not confirm.
What tools does the Atomadic Forge MCP server expose?
Atomadic Forge exposes 68 tools: murmuration, agents_contradiction, agents_intent_classify, agents_plan, agents_register, and 63 more. Their descriptions and schemas cost roughly 2,952 tokens of context every time the server is loaded.
Does the Atomadic Forge MCP server require authentication?
No. We connected to Atomadic Forge without credentials and it answered, so anything it exposes is reachable by anyone who knows the address.
Is the Atomadic Forge MCP server still maintained?
Atomadic Forge is marked deprecated in the MCP registry. We last reached this channel on 5 November 2026. Those dates come from our own scans of the registry and the channel itself, not from anything the publisher announced.