Annalist · independent MCP server checks

io.github.atomadictech/atomadic-forge

Score 75 of 100 · issued 2026-11-05T01:13:02Z · valid until 2026-11-12T01:13:02Z · method mcp-1

-25: answered 56% of our probes in 7 days
!: its tools changed on 2026-11-04 (changed 1); no points deducted, review before trusting them
!: marked deprecated in the registry

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

Endpoint https://forge.atomadic.tech/mcp (streamable-http) · source · listed in the Official MCP Registry

Probes in the last 7 days	9
Answered (%, 7 days)	56
Median connect time (ms)	25
Sign-in	open
Tools	68
Tools changed in the last 14 days	yes
Last tool change	2026-11-04
Domain age (days)	209
Registry status	deprecated

Verify it yourself. Ed25519 signature (base64url) over the RFC 8785 canonical JSON of `statement`, checked with the public key at https://api.annalist.dev/.well-known/annalist-key.json (key_id must match). Then check valid_until. The probes behind it are archived daily, and each day's archive hashes are in the public ledger.

Signed statement: https://api.annalist.dev/v1/verify/mcp?name=io.github.atomadictech%2Fatomadic-forge

Server authors: show this grade in your README. It updates daily.

[![Annalist MCP check](https://api.annalist.dev/v1/verify/mcp-badge.svg?name=io.github.atomadictech%2Fatomadic-forge)](https://annalist.dev/mcp/io.github.atomadictech/atomadic-forge)

Grades start at 100 and lose points only for measured problems, each listed above. The signature proves Annalist issued this statement unchanged; the facts rest on the measurements behind it, archived and hashed into the public ledger. Rankings are never for sale; Annalist's own service is checked by the same rules and left out of the leaderboards. Disputes: open an issue at github.com/ryanroskowski/annalist-ledger.