io.github.ProofMart/proofmart
up checked
Unclaimed · Unverified
Agent searches it appeared in, last 30 days: 0. Run this server? Claim the listing: verified label, uptime alerts and analytics.
Publisher-provided title
ProofMart
Publisher-provided description
One-stop claim verification for AI agents: verdicts with confidence, evidence, signed receipts.
Summary by lookupd
Lets agents submit factual claims for verdicts with confidence scores and evidence, check agent conduct records, and list subscription…
Install
Claude Code, remote (streamable-http)
claude mcp add --transport http proofmart https://proofmart.fly.dev/mcp
Codex, remote (streamable-http)
codex mcp add proofmart --url https://proofmart.fly.dev/mcp
Cursor, remote (streamable-http) → .cursor/mcp.json
{
"mcpServers": {
"proofmart": {
"url": "https://proofmart.fly.dev/mcp"
}
}
}Other clients: docs. Or tell your agent: Set up lookupd for me: read https://lookupd.com/agent.md and follow it.
Tools (3 tools)
Publisher-provided text
verify_claimSubmit one factual claim to ProofMart and get back a verdict (TRUE / FALSE / MIXED / UNVERIFIED), a confidence score (0-100), the evidence behind the verdict, acheck_agent_conductAsk the Conduct Feed — a separate business from ProofMart, whose records are built from ProofMart check receipts — how an agent has behaved: a 0-100 conduct scolist_plansThe ProofMart menu: each plan's monthly check bundle and draft price. Free to call — no key needed, nothing metered. Useful when an owner asks what subscribing
Details
- Version: 0.12.0
- Transports: streamable-http
- Uptime (7 days): 100%
- Median latency: 145 ms
- First indexed:
- Last seen in registry:
- Website: https://proofmart.fly.dev
Badge for your README
Shows this live status and links here; updates hourly.
[](https://lookupd.com/servers/io.github.ProofMart/proofmart)
- 62071 servers
- Last crawl: 2026-11-11T16:39:06.253Z
- API base:
https://api.lookupd.com - MCP URL:
https://api.lookupd.com/mcp