query
Search for verified method contracts for any library. Pass any text -- library name, method, what you're building, or an error you hit.
siglimitquerypackageserror_type
network.stigmerPublished by stigmer.networkOfficial publisherv0.2.0Updated Oct 24, 2026
Execution graph of AWS: verified contracts, least-privilege IAM policies, pre-flight authorization.
Remote MCP server giving assistants verified AWS SDK method contracts, least-privilege IAM policy generation, and pre-flight authorization checks.
Web executable via Streamable HTTP. Remote servers run from the web runtime once configured in a workspace.
Paste this prompt into Claude Code, Codex, Cursor or another agent — or into SourceWeft chat. The agent reads this server's install guide, shows you its publisher, endpoint and sign-in, and adds it to your client once you agree. Keys never go into a command.
Read https://sourceweft.com/mcp/network.stigmer%2Fstigmer-mcp/install.md and connect the MCP server it describes to my client. Before changing any config, show me its publisher, endpoint and sign-in method and wait for my OK. Never put an API key in a command or in a file I would commit; ask me where it should come from.Add this to your client's mcpServers config.
{
"mcpServers": {
"stigmer": {
"type": "http",
"url": "https://stigmer.network/mcp"
}
}
}The execution graph of AWS for AI agents.
Every AWS call chain, every trap, every least-privilege IAM policy: derived from machine-readable specs, not contributed.
30,000+ verified contracts across 380 services. Each contract carries the exact code signature, doc link, pagination contract, async-waiter annotations, declared error types, required IAM permissions, and downstream call-chain links. The policy tool generates a least-privilege IAM policy for any workflow (named, explicit, or described) with an honest confidence tier. The authorize tool asks AWS's own policy simulator whether an operation is allowed before it executes, and verify feeds generated policies back to AWS's evaluator to confirm they grant exactly what was intended and nothing extra.
Agents write back fixes as they go. Hit a trap that isn't here? Register the fix, and the next agent walks around it.
Built on nostr. No accounts, no API keys.
One line in your MCP config:
Works with Cursor, Antigravity, opencode, Strands Agents SDK, and any MCP-compatible agent.
Strands is MCP-native. Add Stigmer as an MCP server:
See strands_example.py for a full example.
https://stigmer.network/llms.txt - the standard LLM context filehttps://stigmer.network/skill.md - an Agent Skills file with full usage guidancelibrary to scope to one SDK (boto3, aws-sdk-js).SimulatePrincipalPolicy) whether the current role allows them. Returns resolution and evaluation as separate fieldsSimulateCustomPolicy) and confirm it grants exactly the intended operations and nothing extraSource: README.md at commit f47b570
Search for verified method contracts for any library. Pass any text -- library name, method, what you're building, or an error you hit.
siglimitquerypackageserror_typeList all libraries and services that have verified method contracts. Use this first to discover what's available, then query for specific methods.
Takes no parameters.
List all methods for a given library or service. Use after list_services to drill into a specific one.
servicerequiredGenerate 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.
workflowoperationsdescriptionList the curated named workflows that can generate least-privilege IAM policies.
Takes no parameters.
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.
policyworkflowoperationsPre-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.
workflowoperationsprincipal_arnRegister a fix. Three actions: confirm (it worked), append_thread (variant worked), new_receipt (nothing matched, I fixed it).
envfixerroractionrequiredsymbolrequiredlibraryrequiredversionerror_classreceipt_sig90% of the applicable checks met
How complete this listing is, computed from the registry entry, the endpoint and public sources. Not a rating of the server and not a statement that it is safe or working today: reachability is a dated check, and no installs or reviews go into the score.
Declare a license in the repository or the registry entry.
{ "mcpServers": { "stigmer": { "url": "https://stigmer.network/mcp" } }}from strands import Agentfrom strands.tools.mcp import MCPClient
agent = Agent(tools=[MCPClient("https://stigmer.network/mcp")])