Instructions file CodexOpenCode
Instructions for daedalus/fuzzer, covering agents.md — fuzzer-tool, references (read on demand), hard rules, corpus rules and workflows.
41 2d ago C 3,997 tokens
original MIT
Instructions file CodexOpenCode
AGENTS.md instructions for anirbanbasu/smt-sudoku-mcp, covering agents.md, project, commands, architecture and core logic (sudoku.py).
0 4d ago A 1,423 tokens
original MIT
Instructions file
Claude Code instructions for anirbanbasu/smt-sudoku-mcp, a project described as: An MCP server to work with Sudoku puzzles using satisfiability modulo theories (SMT).
0 4d ago A 3 tokens
copy · 100% MIT