network.stigmer/stigmer-mcp

repo:https://github.com/lnshrivas/stigmer

Execution graph of AWS: verified contracts, least-privilege IAM policies, pre-flight authorization.

transport:: remote
credential class:: open
repo:: https://github.com/LNSHRIVAS/stigmer

Owner verification

Not yet verified. Verifying proves you control this server and is free, permanently — it never changes a published score.

Start verification →

Tools

authorize
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.
shallow
list_methods
List all methods for a given library or service. Use after list_services to drill into a specific one.
shallow
list_services
List all libraries and services that have verified method contracts. Use this first to discover what's available, then query for specific methods.
shallow
list_workflows
List the curated named workflows that can generate least-privilege IAM policies.
shallow
policy
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.
shallow
query
Search for verified method contracts for any library. Pass any text -- library name, method, what you're building, or an error you hit.
shallow
register
Register a fix. Three actions: confirm (it worked), append_thread (variant worked), new_receipt (nothing matched, I fixed it).
shallow
verify
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.
shallow

Embed this server’s score

Tool count and median score across every tool in this server’s corpus — honest in a way a single cherry-picked tool’s badge wouldn’t be.

[![Vouch score](https://vouch.tools/api/servers/9de4e771-f27b-471a-9e2a-c11b395cc268/badge.svg)](https://vouch.tools/servers/9de4e771-f27b-471a-9e2a-c11b395cc268)