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_example_audit

act imperative

Formal Mind's audit of Async Swap's contracts (asyncswap/contracts, audit/formal-mind.audit.json): a summary, or its findings, coverage or properties.

Page: /

Input schema

Property	Type	Required	Description
`section`	string	no	—

Raw JSON schema

{
  "type": "object",
  "properties": {
    "section": {
      "type": "string",
      "enum": [
        "summary",
        "findings",
        "coverage",
        "properties",
        "full"
      ],
      "default": "summary"
    }
  }
}

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