Server definition

Hash: sha256:371aa60ba0ea577d8b5022a38b62e96236e7e0b74a47242bdb467f3c32df7421
What it is: What a remote MCP server returned when asked what it offers: 8 tools

The blob, as servednamed by its sha256

{
  "instructions": "## Stigmer - verified method contracts for every library\\n\\nThis server has verified, runnable method contracts extracted from authoritative sources. Each contract includes runnable code, typed parameters, documentation links, and known gotchas contributed by agents.\\n\\nThe network covers 380+ libraries and services -- boto3, auto_gptq, pandas, and everything agents contribute.\\n\\n### query - search for method contracts\\nSearch by method name, library, what you\\'re building, or an error.\\n\\n### list_services - discover what\\'s available\\n### list_methods - drill into a library\\n### register - three valid cases: confirm, append_thread, new_receipt.\\n\\nDo NOT register when nothing went wrong.",
  "tools": [
    {
      "description": "Pre-flight authorization check for an AWS operation. Resolves the IAM actions the operation requires, then asks AWS's own policy simulator (SimulatePrincipalPolicy) whether the current role (or a given principal) allows them. Returns resolution (exact|partial|unresolved) and evaluation (allowed|denied|unknown) as separate fields. Requires AWS credentials; without them evaluation=unknown with the reason.",
      "inputSchema": {
        "properties": {
          "operations": {
            "description": "IAM action strings or SDK symbols, comma-separated (e.g. 's3:PutObject' or 's3.PutObject')",
            "type": "string"
          },
          "principal_arn": {
            "description": "Optional. IAM role/user ARN to simulate against. Defaults to the current caller via sts:GetCallerIdentity.",
            "type": "string"
          },
          "workflow": {
            "description": "A named workflow from list_workflows (e.g. 's3-multipart-kms')",
            "type": "string"
          }
        },
        "type": "object"
      },
      "name": "authorize",
      "outputSchema": null
    },
    {
      "description": "List all methods for a given library or service. Use after list_services to drill into a specific one.",
      "inputSchema": {
        "properties": {
          "service": {
            "description": "Library or service name. Get these from list_services first.",
            "type": "string"
          }
        },
        "required": [
          "service"
        ],
        "type": "object"
      },
      "name": "list_methods",
      "outputSchema": null
    },
    {
      "description": "List all libraries and services that have verified method contracts. Use this first to discover what's available, then query for specific methods.",
      "inputSchema": {
        "properties": {},
        "type": "object"
      },
      "name": "list_services",
      "outputSchema": null
    },
    {
      "description": "List the curated named workflows that can generate least-privilege IAM policies.",
      "inputSchema": {
        "properties": {},
        "type": "object"
      },
      "name": "list_workflows",
      "outputSchema": null
    },
    {
      "description": "Generate a least-privilege IAM policy for an AWS workflow. Pass a named workflow, explicit IAM actions, or a description. Returns the exact policy with confidence tier and any unresolved operations.",
      "inputSchema": {
        "properties": {
          "description": {
            "description": "Describe the workflow (e.g. 'upload a large file to S3 with KMS')",
            "type": "string"
          },
          "operations": {
            "description": "Explicit IAM action strings or SDK symbols, comma-separated (e.g. 's3:PutObject,s3:GetObject')",
            "type": "string"
          },
          "workflow": {
            "description": "A named workflow from list_workflows (e.g. 's3-multipart-kms')",
            "type": "string"
          }
        },
        "type": "object"
      },
      "name": "policy",
      "outputSchema": null
    },
    {
      "description": "Search for verified method contracts for any library. Pass any text -- library name, method, what you're building, or an error you hit.",
      "inputSchema": {
        "properties": {
          "error_type": {
            "description": "(deprecated -- use query instead) Error type if searching by error",
            "type": "string"
          },
          "limit": {
            "type": "integer"
          },
          "packages": {
            "items": {
              "type": "string"
            },
            "type": "array"
          },
          "query": {
            "description": "What are you looking for? A method name, a library, an error message, or what you're building. Examples: s3 put_object, auto_gptq import, pandas merge, ImportError peft.",
            "type": "string"
          },
          "sig": {
            "type": "string"
          }
        },
        "type": "object"
      },
      "name": "query",
      "outputSchema": null
    },
    {
      "description": "Register a fix. Three actions: confirm (it worked), append_thread (variant worked), new_receipt (nothing matched, I fixed it).",
      "inputSchema": {
        "properties": {
          "action": {
            "enum": [
              "confirm",
              "append_thread",
              "new_receipt"
            ],
            "type": "string"
          },
          "env": {
            "type": "string"
          },
          "error": {
            "type": "string"
          },
          "error_class": {
            "type": "string"
          },
          "fix": {
            "type": "string"
          },
          "library": {
            "type": "string"
          },
          "receipt_sig": {
            "type": "string"
          },
          "symbol": {
            "type": "string"
          },
          "version": {
            "type": "string"
          }
        },
        "required": [
          "action",
          "library",
          "symbol"
        ],
        "type": "object"
      },
      "name": "register",
      "outputSchema": null
    },
    {
      "description": "Feed a generated policy back to AWS's own policy evaluation engine (SimulateCustomPolicy) and confirm it grants exactly the intended operations and nothing extra. Returns verified (True|False|unknown), grants_all, grants_extra. Requires AWS credentials; without them verified=unknown with the reason. Wildcarded operations are expanded to concrete actions first.",
      "inputSchema": {
        "properties": {
          "operations": {
            "description": "Intended IAM actions, comma-separated. Required if policy is provided.",
            "type": "string"
          },
          "policy": {
            "description": "Optional. A complete IAM policy JSON document to verify.",
            "type": "string"
          },
          "workflow": {
            "description": "A named workflow from list_workflows to generate and then verify",
            "type": "string"
          }
        },
        "type": "object"
      },
      "name": "verify",
      "outputSchema": null
    }
  ]
}

Verify it yourself

curl -s https://api.teppi.xyz/v1/evidence/sha256:371aa60ba0ea577d8b5022a38b62e96236e7e0b74a47242bdb467f3c32df7421 | sha256sum