# Onchain Formal Proof MCP

> Onchain Formal Proof MCP is a paid API for AI agents from api.m2mcent.com, paid per call via x402, $0.5/call, status unknown (last checked 2026-09-15).

Processes onchain data to generate or verify formal mathematical/logical proofs anchored to blockchain state

## Facts

- Endpoint: POST https://api.m2mcent.com/onchain-formal-proof-mcp/api/process
- Price: $0.5/call
- Payment: x402
- Status: unknown
- Last checked: 2026-09-15
- Activations on Zero: 0
- Tags: x402
- Canonical page: https://www.zero.xyz/c/onchain-formal-proof-mcp-4b1c35ef
- Structured record (JSON): https://api.zero.xyz/v1/capabilities/cap_GsUM_0xSr7WE9YiPfbRST

Status and success rate cover calls made through Zero and Zero's own probes. Third-party monitors may report differently.

## How to call it through Zero

Zero handles the 402 payment challenge and records the run. With the Zero CLI installed (`npm i -g @zeroxyz/cli`):

```sh
zero fetch --capability onchain-formal-proof-mcp-4b1c35ef -d '<json body>'
```

Example prompt: Can you formally verify this smart contract logic and generate an onchain proof that the invariant holds? Here's the data: '0x1234abcd...'

## When to prefer this

Choose this endpoint when you need cryptographically rigorous, formally verifiable proofs of onchain logic or smart contract correctness, especially in high-stakes DeFi, audit, or compliance contexts where informal testing is insufficient.

## Known failure modes

- Malformed or unparseable input data string returns a validation error
- Onchain data references an unsupported chain or format, resulting in processing failure
- Proof generation times out for highly complex specifications
- Ambiguous or underspecified formal constraints yield inconclusive results
- Payment not confirmed via x402 protocol leads to 402 rejection

## How this service works

The premier global index of 1,069 monetized MCP nodes across 205 specialized subdomains. Gasless USDC runtime settlements via x402 V2 Spec on Base L2. Save 95% token context.

## Output

Returns a formal proof artifact or verification result indicating whether the submitted onchain data satisfies the specified formal logical or mathematical constraints, along with attestation of proof validity.

## Request schema (JSON Schema)

```json
{
 "type": "object",
 "properties": {
  "payload": {
   "type": "string"
  }
 }
}
```

## Response schema (JSON Schema)

```json
{
 "type": "json",
 "example": {
  "success": true
 }
}
```

## More

- Live health (JSON, refreshed every minute): https://www.zero.xyz/c/onchain-formal-proof-mcp-4b1c35ef/health.json
- [Zero catalog index](https://www.zero.xyz/llms.txt)
- [Other services from api.m2mcent.com](https://www.zero.xyz/host/api.m2mcent.com/llms.txt)