formal.team

{
  "name": "formalmind_audit_format",
  "kind": "act",
  "impl": "imperative",
  "description": "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.",
  "inputSchema": {
    "type": "object",
    "properties": {}
  },
  "page": "/"
}

{
  "name": "formalmind_example_audit",
  "kind": "act",
  "impl": "imperative",
  "description": "Formal Mind's audit of Async Swap's contracts (asyncswap/contracts, audit/formal-mind.audit.json): a summary, or its findings, coverage or properties.",
  "inputSchema": {
    "type": "object",
    "properties": {
      "section": {
        "type": "string",
        "enum": [
          "summary",
          "findings",
          "coverage",
          "properties",
          "full"
        ],
        "default": "summary"
      }
    }
  },
  "page": "/"
}

{
  "name": "formalmind_app_release",
  "kind": "act",
  "impl": "imperative",
  "description": "The Formal Mind desktop app's latest release: version, date, notes, and the macOS and Windows downloads.",
  "inputSchema": {
    "type": "object",
    "properties": {}
  },
  "page": "/"
}