agentmods.dev

briangmilnes/APAS-VERUS

Proving 'Algorithms Parallel and Sequential' in Rust (APAS-AI) using Verus.

2 files for GitHub Copilot and Claude Code: APAS-VERUS copilot-instructions.md, APAS-VERUS CLAUDE.md — 50,822 tokens loaded in every session.

Open on GitHub
10Stars on the repository
2Files it configures its agents with
50,822Tokens loaded in every session
2Agents configured

Instructions

These files are briangmilnes/APAS-VERUS's own configuration — they tell GitHub Copilot and Claude Code how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.