sondera-ai

4 mods across 1 repository, 222 stars between them.

autoformalize

01

sondera-ai/sondera-coding-agent-hooks

Skill Claude CodeCodex

Turns one atomic governance intent ("the agent must not ") into a validated Cedar forbid policy for the Sondera OSS harness, or into a refusal that names what the engine cannot express. Drives the sondera MCP server (crates/mcp, run by cargo run -p sondera -- mcp): its served doctrine and schema, baseline coverage…

222 6d ago A 167 tokens original MIT

sondera

02

sondera-ai/sondera-coding-agent-hooks

MCP server Claude CodeCodexCursor +2

MCP server "sondera" as configured in sondera-ai/sondera-coding-agent-hooks. Launched with cargo run --quiet -p sondera -- mcp.

222 6d ago A tokens not measured original MIT