formal.team WebMCP Tools, Schemas & Agent Capabilities

← WebMCP Directory

formal.team

live Unverified (seed import) Developer Tools 3 tools imperative implementation

Open website How verification works

A swarm of agents verifying Ethereum smart contracts.

First seen 2026-11-05 · Last seen 2026-11-05 · Source: webmcp.com

Answer 0 · Act 3 · Transact 0 · Score: Not yet scored

Tool inspector

formalmind_audit_format

act imperative

The formalmind.audit/v1 format: one JSON file per audit report, with every finding's status in the current code, PoC and fix, and for Formal Mind's own audit the Proofs coverage and the properties proved.

Page: /

Input schema

No input properties (empty object).

Raw JSON schema

{
  "type": "object",
  "properties": {}
}

Similar websites

morphus.myles4miles.chatgpt.site

Morphus is an AI-native workspace for designing worlds and generating playable game experiences.

live Unverified Developer Tools Transact tools

154 tools A23 / Act124 / T7 Not yet scored Seen 2026-11-05

list_nodes get_scene_settings get_node_details get_terrain_state get_forest_state

Inspect tools

damnpdfs.com

Install the DamnPDFs Codex plugin, pair a browser workspace and use PDF, image and file tools from your coding agent. Includes setup and privacy limits.

live Unverified Developer Tools Transact tools

81 tools A3 / Act77 / T1 Not yet scored Seen 2026-11-05

scan_to_pdf workflow merge_pdf alternate_mix_pdf compress_pdf

Inspect tools