Atomadic Forge

Deprecated in registry

io.github.atomadictech/atomadic-forgeVersion 0.87.0

Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.

Status

Responds146 msNov 14, 2026, 14:45 UTCAnswered our handshake without sign-in.

Registry data may be out of date

We could not refresh it, so this page shows the last copy.

Deprecated in registry

The publisher marked this server as deprecated.

Last checked: Nov 14, 2026, 14:45 UTC
Latency: 146 ms
Remotes responding: 1 of 1
Sign-in: No sign-in
Hosting: Hosted outside the EU (detected)
Registry data as of: Nov 14, 2026, 21:12 UTC

Data from the official MCP Registry, checked by run.zero. How we check

Connect

Streamable HTTP

https://forge.atomadic.tech/mcpResponds146 msNov 14, 2026, 14:45 UTC

No sign-in

Claude Code

claude mcp add --transport http atomadic-forge https://forge.atomadic.tech/mcp

Claude Desktop and claude.ai

1
2
3

Settings > Connectors > Add custom connector
Name: atomadic-forge
Remote MCP server URL: https://forge.atomadic.tech/mcp

Cursor

{
  "mcpServers": {
    "atomadic-forge": {
      "url": "https://forge.atomadic.tech/mcp"
    }
  }
}

VS Code

code --add-mcp '{"name":"atomadic-forge","type":"http","url":"https://forge.atomadic.tech/mcp"}'

Streamable HTTP

pypi: atomadic-forge 0.87.0

Package only

PyPI (uvx)

claude mcp add atomadic-forge -- uvx atomadic-forge==0.87.0

Built your own server? run.zero hosts MCP servers on European infrastructure.

Host your own MCP server on run.zero

Tools

68 tools

Tools of Atomadic Forge
	Description		Read-only	Idempotent	Open world
`agents_contradiction`[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.	[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.	No	Yes	Yes	No
`agents_intent_classify`[agents] Agent intent classification	[agents] Agent intent classification	No	Yes	Yes	No
`agents_plan`[agents] Autonomous agent goal planning	[agents] Autonomous agent goal planning	No	Yes	Yes	No
`agents_register`[agents] Register an agent	[agents] Register an agent	No	No	No	No
`agents_reputation`[agents] Agent reputation and trust score	[agents] Agent reputation and trust score	No	Yes	Yes	No
`agents_semantic_diff`[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.	[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.	No	Yes	Yes	No
`agents_topology`[agents] Live swarm topology	[agents] Live swarm topology	No	Yes	Yes	No
`audit_work_claim`[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'.	[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'.	No	No	Yes	No
`compliance_check`[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.	[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.	No	Yes	Yes	No
`compliance_eu_ai_act`[security] EU AI Act compliance certificate	[security] EU AI Act compliance certificate	No	Yes	Yes	No
`compliance_explain`[security] Explainability certificate (XPL-100-ExplainBound)	[security] Explainability certificate (XPL-100-ExplainBound)	No	Yes	Yes	No
`compliance_fairness`[security] Fairness proof (FNS-100-FairnessBound)	[security] Fairness proof (FNS-100-FairnessBound)	No	Yes	Yes	No
`compliance_incident`[security] Report compliance incident	[security] Report compliance incident	No	No	No	No
`compliance_incidents`[security] Incident registry	[security] Incident registry	No	Yes	Yes	No
`compliance_lineage`[security] Data lineage (LIN-100-ChainIntegrity)	[security] Data lineage (LIN-100-ChainIntegrity)	No	Yes	Yes	No
`compliance_oversight`[security] Log oversight event	[security] Log oversight event	No	Yes	Yes	No
`compliance_oversight_history`[security] Oversight history	[security] Oversight history	No	Yes	Yes	No
`compliance_transparency`[security] Transparency report	[security] Transparency report	No	Yes	Yes	No
`defi_bridge_verify`[defi] Bridge Proof (BRP-100-BridgeIntegrity)	[defi] Bridge Proof (BRP-100-BridgeIntegrity)	No	Yes	Yes	No
`defi_contract_audit`[defi] Contract Verify (CVR-100-AuditBound)	[defi] Contract Verify (CVR-100-AuditBound)	No	Yes	Yes	No
`defi_liquidation_check`[defi] Liquid Shield (LQS-100-LiquidationBound)	[defi] Liquid Shield (LQS-100-LiquidationBound)	No	Yes	Yes	No
`defi_optimize`[defi] LP parameter optimization (DFP-100-OptimalTick)	[defi] LP parameter optimization (DFP-100-OptimalTick)	No	No	Yes	No
`defi_oracle_verify`[defi] Oracle guard (OGD-100-ManipulationBound)	[defi] Oracle guard (OGD-100-ManipulationBound)	No	Yes	Yes	No
`defi_risk_score`[defi] DeFi risk scoring (DFI-101-RiskScoreBound)	[defi] DeFi risk scoring (DFI-101-RiskScoreBound)	No	Yes	Yes	No
`defi_yield_optimize`[defi] Yield Oracle (YLD-100-YieldConvergence)	[defi] Yield Oracle (YLD-100-YieldConvergence)	No	No	Yes	No
`detect_contradiction`[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'.	[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'.	No	Yes	Yes	No
`drift_certificate`[trust] Drift certificate	[trust] Drift certificate	No	Yes	Yes	No
`drift_check`[trust] DriftGuard check (DRG-100-DriftBound)	[trust] DriftGuard check (DRG-100-DriftBound)	No	Yes	Yes	No
`enforce_sla`[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'.	[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'.	No	No	Yes	No
`escrow_create`[defi] Create agent-to-agent escrow	[defi] Create agent-to-agent escrow	No	No	No	No
`escrow_dispute`[defi] Open escrow dispute	[defi] Open escrow dispute	Yes	No	Yes	No
`escrow_release`[defi] Release escrowed funds	[defi] Release escrowed funds	Yes	No	Yes	No
`forge_badge`[fuse] Model quality badge	[fuse] Model quality badge	No	Yes	Yes	No
`forge_delta_submit`[fuse] Submit a model delta	[fuse] Submit a model delta	No	No	No	No
`forge_leaderboard`[fuse] Model leaderboard	[fuse] Model leaderboard	No	Yes	Yes	No
`forge_quarantine`[fuse] Quarantined models	[fuse] Quarantined models	Yes	No	Yes	No
`forge_verify`[fuse] Verify a model submission	[fuse] Verify a model submission	No	Yes	Yes	No
`identity_sybil_check`[identity] Sybil-resistance check	[identity] Sybil-resistance check	No	Yes	Yes	No
`identity_verify`[identity] Topological identity verification	[identity] Topological identity verification	No	Yes	Yes	No
`inference`[inference] Chat inference with hallucination guard	[inference] Chat inference with hallucination guard	No	Yes	Yes	No
`inference_stream`[inference] Streaming inference with chain-of-thought	[inference] Streaming inference with chain-of-thought	No	Yes	Yes	No
`murmuration`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.	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.	No	No	Yes	No
`oracle_entropy`[trust] Entropy epoch oracle	[trust] Entropy epoch oracle	No	Yes	Yes	No
`oracle_hallucination`[trust] Hallucination oracle	[trust] Hallucination oracle	No	Yes	Yes	No
`rag_augment`[inference] Trusted RAG augmentation	[inference] Trusted RAG augmentation	No	Yes	Yes	No
`ratchet_advance`[identity] RatchetGate â€” advance session	[identity] RatchetGate â€” advance session	No	No	No	No
`ratchet_probe`[identity] RatchetGate â€” health probe	[identity] RatchetGate â€” health probe	No	Yes	Yes	No
`ratchet_register`[identity] RatchetGate â€” register session	[identity] RatchetGate â€” register session	No	No	Yes	No
`receipt_reputation`[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'.	[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'.	No	No	Yes	No
`render_polyglot_all_pure`[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.	[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.	No	Yes	Yes	No
`render_polyglot_roundtrip_pure`[Fuse product · entitlement: fuse · FREE_R2_DEMO] Syntax-as-Data polyglot render head: source -> language-neutral logic IR -> source in target language. Canonical demo examples baked to R2 (4 examples × 12 languages). Live emit of novel inputs via the SDK.	[Fuse product · entitlement: fuse · FREE_R2_DEMO] Syntax-as-Data polyglot render head: source -> language-neutral logic IR -> source in target language. Canonical demo examples baked to R2 (4 examples × 12 languages). Live emit of novel inputs via the SDK.	No	Yes	Yes	No
`reputation_record`[agents] Record agent interaction	[agents] Record agent interaction	No	No	No	No
`rng_quantum`[inference] Quantum random number with proof	[inference] Quantum random number with proof	No	Yes	Yes	No
`rng_verify`[inference] Verify current epoch random value	[inference] Verify current epoch random value	No	Yes	Yes	No
`route_capability`[Ledger product, entitlement: ledger] Route a natural-language intent to a deterministic capability/pipeline coordinate. 3 free calls/day, then entitlement 'ledger'.	[Ledger product, entitlement: ledger] Route a natural-language intent to a deterministic capability/pipeline coordinate. 3 free calls/day, then entitlement 'ledger'.	No	Yes	Yes	No
`security_zero_day`[security] Zero-day threat assessment	[security] Zero-day threat assessment	No	Yes	Yes	No
`sla_register`[agents] Register an SLA	[agents] Register an SLA	No	No	Yes	No
`sla_report`[agents] Report SLA violation	[agents] Report SLA violation	No	No	No	No
`swarm_inbox`[agents] Poll swarm inbox	[agents] Poll swarm inbox	No	Yes	Yes	No
`swarm_relay`[agents] Relay message through swarm	[agents] Relay message through swarm	No	No	No	No
`text_keywords`[inference] Keyword extraction	[inference] Keyword extraction	No	Yes	Yes	No
`text_sentiment`[inference] Sentiment analysis	[inference] Sentiment analysis	No	Yes	Yes	No
`text_summarize`[inference] Text summarization	[inference] Text summarization	No	Yes	Yes	No
`threat_score`[security] Multi-vector threat score	[security] Multi-vector threat score	No	Yes	Yes	No
`trust_decay`[trust] Current trust ceiling value	[trust] Current trust ceiling value	No	Yes	Yes	No
`trust_history`[trust] Trust score history	[trust] Trust score history	No	Yes	Yes	No
`trust_score`[trust] Bounded trust score	[trust] Bounded trust score	No	Yes	Yes	No
`verify_settlement`[Ledger product, entitlement: ledger] Proof-gated settlement: recompute the work digest and authorize a payout only if the claimed digest verifies GREEN. No proof, no payout. 3 free calls/day, then entitlement 'ledger'.	[Ledger product, entitlement: ledger] Proof-gated settlement: recompute the work digest and authorize a payout only if the claimed digest verifies GREEN. No proof, no payout. 3 free calls/day, then entitlement 'ledger'.	No	No	Yes	No

Details

Registry status: Deprecated
Published: May 11, 2026
Updated: Oct 26, 2026
Website: https://forge.atomadic.tech/⁠ (opens in a new tab)
Repository: https://github.com/atomadictech/atomadic-forge⁠ (opens in a new tab)
Categories (suggested): SecuritySuggested categories are assigned automatically from the registry text and may be wrong. Verified operators can correct them.
GDPR: Not declared

Are you the operator? Claim this listing