Instructions file GitHub Copilot
Copilot instructions for esbmc/esbmc, covering github copilot review instructions for esbmc, project context, key review focus areas, 1. correctness & safety and 2. code quality.
516 2d ago A 614 tokens
Instructions file CodexOpenCode
AGENTS.md instructions for esbmc/esbmc, a project described as: The efficient SMT-based context-bounded model checker (ESBMC).
516 2d ago A 4 tokens
Instructions file
Claude Code instructions for esbmc/esbmc, covering agents.md, project overview, build commands, build (uses ninja) and install.
516 2d ago C 6,062 tokens
Instructions file
Instructions for DustinTrap/kvm-pilot, covering claude.md, what this is, non-negotiable conventions, engineering principles (how to make changes) and layout.
5 2d ago A 2,625 tokens
original Apache-2.0
Instructions file GitHub Copilot
Copilot instructions for carlosedp/redfish-mcp-server, covering copilot instructions for ai agents, project overview, key architectural patterns, developer workflows and project-specific conventions.
1 1y ago A 753 tokens