Observed MCP server
Atomadic Forge
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
Security score
—/100
Awaiting a completed comparable scan.
Seven-category assessment pending: authentication, tool poisoning, prompt injection, dangerous capabilities, dependency risk, data exfiltration, and transport security.
Score history
Pending
Immutable methodology-versioned snapshots
Schema drift
Pending
No normalized tool schema observed
Fingerprint
Pending
Repository/package-backed identity
Public findings
No public findings recorded
This is not a safety claim. Check the coverage and revision status before relying on absence of findings.