agentmods.dev

sondera-ai/sondera-coding-agent-hooks

Hooking implementations and supporting tools for various coding agents (Claude, Cursor, Gemini, etc)

Open on GitHub
223Stars on the repository
4Mods indexed here, across every type
4d agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown
Sort RelevanceRecently updatedFewest tokensSecurity gradeRepo starsStars this weekTop rated 1 mods

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…

not rated 222 4d ago A 0 tokens original MIT