diffblue — 2 mods

Sort Relevance Recently updated Fewest tokens Security grade Repo stars Stars this week Top rated 2 mods

cbmc AGENTS.md

Instructions file CodexOpenCode

AGENTS.md instructions for diffblue/cbmc, covering agents.md - guide for ai coding assistants, project overview, what cbmc does, project website and repository structure.

1.1k 11d ago A 7,198 tokens

cover-mcp

diffblue/cover-mcp

MCP server Claude CodeCodexCursor

MCP server "cover-mcp" as configured in diffblue/cover-mcp. Runs locally from the cover-mcp Python package.

2 8mo ago A tokens not measured original Apache-2.0