Pacta
Server Details
Free pre-execution contract checks for AI agents: preflight, control-plane scans, EAS anchors.
- Status
- Healthy
- Uptime
- 100.0% over the last 24 hours
- Last Tested
- Transport
- Streamable HTTP · MCP 2025-03-26
- URL
- Repository
- Fractal-Neurons/pacta
- GitHub Stars
- 0
- Server Listing
- pacta
- ChatGPT
- –
- Claude
- –
TDQS
Scored across 5 tools
Two pairs overlap meaningfully: pacta_check_preflight and pacta_scan_control_plane both inspect contract control-plane safety, while pacta_get_live_timelocks and pacta_scan_timelock_op both report timelock operation state. The descriptions distinguish pinned preflight verdict vs live control-plane scan and radar-tracked pending ops vs a specific timelock operation, but agents may still misselect without careful reading.
All tools use a consistent pacta_ prefix followed by snake_case verb_noun patterns such as check_preflight, get_live_timelocks, and scan_control_plane. The verbs vary between check/get/scan, but that variation reflects the action and does not break predictability.
Five tools is well-scoped for a contract/timelock safety service. Each tool covers a distinct workflow area: preflight verdict, live control-plane scan, radar timelocks, proposal diffs, and individual timelock operation state.
The surface covers the core lifecycle of contract safety checks, control-plane inspection, timelock monitoring, proposal diffs, and timelock operation state. Minor gaps exist around discovering or listing tracked proposals and broader enumeration workflows, but these are not fatal for the stated purpose.
Available Tools
5 toolspacta_check_preflightPre-execution safety checkARead-onlyIdempotentInspect
One-call pre-execution safety check of a contract before an agent interacts with it: verdict (immutable / timelock / zero-delay timelock / multisig / EOA admin / unclassified / undeployed), 0-100 risk score, proxy + implementation, controller kind, zero-delay upgradeability and pause / blacklist / upgrade capabilities, pinned to a block. Free during the launch (no key, no payment).
Inputs: address (required), block, chain.
pacta_get_live_timelocksLive tracked timelock operationsARead-onlyIdempotentInspect
Live state of the public pending timelock operations tracked in https://pacta.wtf/api/v1/radar.json, each re-checked at the latest block (getTimestamp, isOperationPending, isOperationDone). Free during the launch (no key, no payment).
Inputs: protocol.
pacta_scan_control_planeControl-plane scanARead-onlyIdempotentInspect
Live control-plane scan of an EVM contract: EIP-1967 implementation/admin/beacon, owner(), Safe threshold/owners/guard, timelock delay, code size and deterministic risk flags at the latest (or a given) block. Free during the launch (no key, no payment).
Inputs: address (required), block, chain.
pacta_scan_proposal_diffGovernance proposal pinned-vs-live diffARead-onlyIdempotentInspect
Re-runs the pinned contract reads of a Pacta-tracked governance proposal (Aave, Euler, Morpho, Sky) at the live block and returns pinned-vs-live diffs. Free during the launch (no key, no payment).
Inputs: forum (required), topicId (required).
pacta_scan_timelock_opTimelock operation stateARead-onlyIdempotentInspect
Live OpenZeppelin TimelockController operation state: isOperation/Pending/Ready/Done, getTimestamp (ETA), getMinDelay at the latest block. Free during the launch (no key, no payment).
Inputs: timelock (required), data, opId, salt, +4 more.
Tool Schema Changelog
Recent tool additions, removals, and schema changes observed during successful MCP inspections.
Loading tool schema changelog…
Related MCP Connectors
Safety checks for AI agents: preflight before signing, prompt-injection scan, sanctions, rug checks.
Pay-per-call safety checks for AI agents: screen a crypto address or URL before you transact.
Preflight for AI agents, signed: one call; wallet, domain, IP abuse, package checks and CVEs.
Token rug-risk scans, Know Your Agent wallet checks and deployer reputation for AI agents.
Related MCP Servers
- AlicenseNot gradedqualityCmaintenanceEnables AI agents to run pre-sign risk checks on transactions, approvals, EIP-712 signatures, token addresses, wallet approvals, sanctions screening, and prompt-injection texts, returning green/orange/red verdicts with machine-readable reason codes before signing.1AGPL 3.0
- AlicenseNot gradedqualityBmaintenanceEnables AI agents to check network and sequencer health across 12 chains before signing, returning signed, evidence-backed safety verdicts (pass/degraded/fail, latency, revert ratios, stall detection) so agents can decide whether to act now, wait, or route elsewhere. Exposes free and x402 pay-per-call preflight tools for autonomous transaction and payment execution.1MIT
- AlicenseNot gradedqualityBmaintenanceEnables AI agents to run a free fail-closed preflight gate on x402 payment challenges and transactions before signing, plus five USDC-paid on-chain truth checks covering arbitrage profitability, token safety, swap routing, quote validation, and trade sizing. Each check returns a verdict with pinned-block evidence and a verifiable receipt.Apache 2.0
- AlicenseNot gradedqualityDmaintenanceEnables AI agents to perform pay-per-call security verification of wallets, tokens, contracts, dApps, agents, and more via a remote endpoint with no installation.2MIT
Glama MCP Gateway
Add one secure layer between your agents and this server.