MCP HeartbeatTHE MCP OBSERVATORY
Public workspace

Explore

Evidence for your next connection.

Independent measurements of remote MCP servers. Every observation has a timestamp.

Read-only probes

Atomadic Forge

Claim this listing

io.github.atomadictech/atomadic-forge

atomadictechVerified

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

Developer tools & code

Developer ToolsIs Atomadic Forge down?Alternatives

12 of 22 checks passed

  • Handshake
  • Tools listed
  • Updated recently

Responded

The server completed its last measured handshake. This is an observation, not a guarantee.

Connect to server
Median latency
86 ms
Uptime, 30 days
Not measured
Last checked

Measurement details

Core

  • Pass
    Reachable

    Latest probe returned HTTP 200 in 86 ms.

  • Pass
    Valid handshake

    protocolVersion 2024-11-05, serverInfo.name atomadic-mcp.

  • Pass
    Lists tools

    tools/list returned 68 tools.

  • Fail
    Current protocol

    Negotiated 2024-11-05. The bar is 2025-06-18 or newer.

  • Pass
    HTTPS

    The endpoint URL is https.

Performance

  • Not measured
    Fast (p50)

    Median latency 86 ms over 1 samples in 7 days. The bar is 1000 ms. Need at least 5 samples.

  • Not measured
    Consistent (p95)

    95th percentile 86 ms over 1 samples in 7 days. The bar is 3000 ms. Need at least 20 samples.

  • Not measured
    Reliable (uptime)

    1 of 1 attempts returned a tool list in 30 days (100%). The bar is 99%. Need at least 30 samples.

  • Not measured
    Stable tool list

    Fewer than two successful probes in 30 days, so tool-list stability is not measured.

Access

  • Pass
    Open access

    tools/list succeeded with no credential, and the record declares none.

  • Not measured
    Standard auth

    Auth is not required, so the OAuth metadata check does not apply.

  • Not measured
    Free tier cited

    No publisher quote has been checked.

Tools

  • Pass
    Tools described

    Every tool description is at least 20 characters.

  • Pass
    Valid input schemas

    Every inputSchema is a JSON Schema object.

  • Fail
    Parameters documented

    17 of 130 parameters have a description (13%). The bar is 80%.

  • Pass
    Safety hints

    Every tool sets readOnlyHint or destructiveHint.

Publisher

  • Pass
    Verified namespace

    Listed in the Official MCP Registry.

  • Not measured
    Website matches publisher

    This namespace is not a reverse domain, so the website comparison does not apply.

  • Pass
    Source repo linked

    A repository URL is on file.

  • Pass
    Repo owner matches

    The GitHub repository owner matches the namespace login.

  • Pass
    Recently updated

    Updated 2026-10-26T19:40:48.023659Z, within 180 days.

  • Not measured
    Open-source licence

    The GitHub licence lookup has not returned an OSI result yet.

Tools

  • 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.

    Measured

  • agents_intent_classify

    [agents] Agent intent classification

    Measured

  • agents_plan

    [agents] Autonomous agent goal planning

    Measured

  • agents_register

    [agents] Register an agent

    Measured

  • agents_reputation

    [agents] Agent reputation and trust score

    Measured

  • 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.

    Measured

  • agents_topology

    [agents] Live swarm topology

    Measured

  • 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'.

    Measured

  • 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.

    Measured

  • compliance_eu_ai_act

    [security] EU AI Act compliance certificate

    Measured

  • compliance_explain

    [security] Explainability certificate (XPL-100-ExplainBound)

    Measured

  • compliance_fairness

    [security] Fairness proof (FNS-100-FairnessBound)

    Measured

  • compliance_incident

    [security] Report compliance incident

    Measured

  • compliance_incidents

    [security] Incident registry

    Measured

  • compliance_lineage

    [security] Data lineage (LIN-100-ChainIntegrity)

    Measured

  • compliance_oversight

    [security] Log oversight event

    Measured

  • compliance_oversight_history

    [security] Oversight history

    Measured

  • compliance_transparency

    [security] Transparency report

    Measured

  • defi_bridge_verify

    [defi] Bridge Proof (BRP-100-BridgeIntegrity)

    Measured

  • defi_contract_audit

    [defi] Contract Verify (CVR-100-AuditBound)

    Measured

  • defi_liquidation_check

    [defi] Liquid Shield (LQS-100-LiquidationBound)

    Measured

  • defi_optimize

    [defi] LP parameter optimization (DFP-100-OptimalTick)

    Measured

  • defi_oracle_verify

    [defi] Oracle guard (OGD-100-ManipulationBound)

    Measured

  • defi_risk_score

    [defi] DeFi risk scoring (DFI-101-RiskScoreBound)

    Measured

  • defi_yield_optimize

    [defi] Yield Oracle (YLD-100-YieldConvergence)

    Measured

  • 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'.

    Measured

  • drift_certificate

    [trust] Drift certificate

    Measured

  • drift_check

    [trust] DriftGuard check (DRG-100-DriftBound)

    Measured

  • 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'.

    Measured

  • escrow_create

    [defi] Create agent-to-agent escrow

    Measured

  • escrow_dispute

    [defi] Open escrow dispute

    Measured

  • escrow_release

    [defi] Release escrowed funds

    Measured

  • forge_badge

    [fuse] Model quality badge

    Measured

  • forge_delta_submit

    [fuse] Submit a model delta

    Measured

  • forge_leaderboard

    [fuse] Model leaderboard

    Measured

  • forge_quarantine

    [fuse] Quarantined models

    Measured

  • forge_verify

    [fuse] Verify a model submission

    Measured

  • identity_sybil_check

    [identity] Sybil-resistance check

    Measured

  • identity_verify

    [identity] Topological identity verification

    Measured

  • inference

    [inference] Chat inference with hallucination guard

    Measured

  • inference_stream

    [inference] Streaming inference with chain-of-thought

    Measured

  • 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.

    Measured

  • oracle_entropy

    [trust] Entropy epoch oracle

    Measured

  • oracle_hallucination

    [trust] Hallucination oracle

    Measured

  • rag_augment

    [inference] Trusted RAG augmentation

    Measured

  • ratchet_advance

    [identity] RatchetGate — advance session

    Measured

  • ratchet_probe

    [identity] RatchetGate — health probe

    Measured

  • ratchet_register

    [identity] RatchetGate — register session

    Measured

  • 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'.

    Measured

  • 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.

    Measured

  • 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.

    Measured

  • reputation_record

    [agents] Record agent interaction

    Measured

  • rng_quantum

    [inference] Quantum random number with proof

    Measured

  • rng_verify

    [inference] Verify current epoch random value

    Measured

  • route_capability

    [Ledger product, entitlement: ledger] Route a natural-language intent to a deterministic capability/pipeline coordinate. 3 free calls/day, then entitlement 'ledger'.

    Measured

  • security_zero_day

    [security] Zero-day threat assessment

    Measured

  • sla_register

    [agents] Register an SLA

    Measured

  • sla_report

    [agents] Report SLA violation

    Measured

  • swarm_inbox

    [agents] Poll swarm inbox

    Measured

  • swarm_relay

    [agents] Relay message through swarm

    Measured

  • text_keywords

    [inference] Keyword extraction

    Measured

  • text_sentiment

    [inference] Sentiment analysis

    Measured

  • text_summarize

    [inference] Text summarization

    Measured

  • threat_score

    [security] Multi-vector threat score

    Measured

  • trust_decay

    [trust] Current trust ceiling value

    Measured

  • trust_history

    [trust] Trust score history

    Measured

  • trust_score

    [trust] Bounded trust score

    Measured

  • 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'.

    Measured

Probe history

  • ok86 ms68 tools

Status and uptime

Add badge to your README

The image links back to this page. It shows checks passed, or uptime, and the colour follows the latest status. Responses are cached for 5 to 15 minutes.

MCP Heartbeat badge

Markdown

[![MCP Heartbeat](https://mcpheartbeat.com/badge/io.github.atomadictech/atomadic-forge.svg)](https://mcpheartbeat.com/s/io.github.atomadictech/atomadic-forge)

HTML

<a href="https://mcpheartbeat.com/s/io.github.atomadictech/atomadic-forge"><img alt="MCP Heartbeat" src="https://mcpheartbeat.com/badge/io.github.atomadictech/atomadic-forge.svg"></a>

Uptime markdown

[![MCP Heartbeat uptime](https://mcpheartbeat.com/badge/io.github.atomadictech/atomadic-forge.svg?kind=uptime)](https://mcpheartbeat.com/s/io.github.atomadictech/atomadic-forge)

Served from https://mcpheartbeat.com.

Related servers

All alternatives

Same function and industry, ranked by checks passed then median latency.

Connect to this server

Claude Code

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

Cursor .cursor/mcp.json

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

VS Code .vscode/mcp.json

{
  "servers": {
    "atomadic-forge": {
      "type": "http",
      "url": "https://forge.atomadic.tech/mcp"
    }
  }
}