agentmarketindex.
About the index ↗
MARKET MONITOR / CATALOGUE Services 133,079 MCP listed 40,873 x402 92,288 Rails Base / Solana / Polygon / Arbitrum Imported 2026-10-31 · 3 sources
Provider

Axiomatic-AI

github.com/Axiomatic-AI · 1 listed service · provider site

Prover MCP

Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.

Axiomatic-AI Infrastructure checked 2026-10-30
no price published

Provider identity is derived from the domain or repository in the source record. If two vendors share a host, they appear together here — that is a limitation of the data, not a statement about ownership.