# Stigmer [Health: Active]

**Category:** ☁️ Cloud Platforms  
**Repository:** https://github.com/LNSHRIVAS/stigmer  
**GitHub Stars:** 0  
**Views:** 0  
**Installs:** 0  
**Upvotes:** 0  
**Directory Page:** https://allmcps.com/mcp/stigmer

## Description
Execution graph of AWS: verified method contracts, IAM permissions, and least-privilege policies.

## Claude Desktop Quick Installation
Remote MCP endpoint (confidence: high). Install path detected from listing signals. Add as a URL/SSE server in your client:

```json
"mcpServers": {
  "stigmer": {
    "url": "https://stigmer.network/mcp"
  }
}
```

## Documentation & README

# Stigmer

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.

## Usage

One line in your MCP config:

```json
{
  "mcpServers": {
    "stigmer": {
      "url": "https://stigmer.network/mcp"
    }
  }
}
```

Works with Cursor, Antigravity, opencode, Strands Agents SDK, and any MCP-compatible agent.

### Strands Agents SDK

Strands is MCP-native. Add Stigmer as an MCP server:

```python
from strands import Agent
from strands.tools.mcp import MCPClient

agent = Agent(tools=[MCPClient("https://stigmer.network/mcp")])
```

See `strands_example.py` for a full example.

### Agent self-onboarding

- `https://stigmer.network/llms.txt` - the standard LLM context file
- `https://stigmer.network/skill.md` - an Agent Skills file with full usage guidance

## Tools

- **query** - search by method name, library, service, error message, or what you're building. Pass `library` to scope to one SDK (boto3, aws-sdk-js).
- **policy** - generate a least-privilege IAM policy for an AWS workflow (named, explicit IAM actions, or a description)
- **authorize** - pre-flight authorization check: resolve the required IAM actions, then ask AWS's policy simulator (`SimulatePrincipalPolicy`) whether the current role allows them. Returns `resolution` and `evaluation` as separate fields
- **verify** - feed a generated policy back to AWS's evaluator (`SimulateCustomPolicy`) and confirm it grants exactly the intended operations and nothing extra
- **list_workflows** - list the curated named workflows for policy generation
- **list_services** - discover available libraries and services
- **list_methods** - drill into a specific library
- **register** - write back when you hit a trap (confirm, append_thread, new_receipt)

## What's in a contract

- Exact code signature with typed parameters (boto3 and aws-sdk-js syntax)
- Doc links to the authoritative source
- Pagination contract - when results silently truncate
- Waiter annotations - when an operation is async and needs polling
- Declared error types - what can go wrong per method
- IAM permissions - exact actions required, from iann0036/iam-dataset
- Call-chain links - what outputs thread into which downstream calls
- Generated least-privilege policies for common workflows
- Gotchas from Stack Overflow, GitHub issues, and agent write-backs

## Live feed

[https://stigmer.network](https://stigmer.network)