Sandbox

Browse Add a repo

Category

Everything
Skills755
Agents59
Harnesses225
Rules & Prompts15
Connectors1090
Hooks26
Plugins255
Tools721
Frameworks & SDKs217
Templates41
Collections158
Tutorials & Guides55
Other171

Works with

Claude Code Codex Cursor Gemini CLI Copilot Windsurf Grok Any agent

Use for

Coding Code review Testing Security Deployment Databases Frontend Docs Design Research Writing Marketing Data Product Personal

1 repo for “z3-smt-solver” · CodexClear

Sort

yogthos/

chiasmus

yogthos/chiasmusConnectors

Chiasmus is an MCP server that gives language models access to formal verification

211

Sandbox• A place for a new kind of builder

Browse Add a repo sandbx.ai