31 tagged formal verification, measured the same way as everything else here.
Browse within: cryptography 8lean4 6agent-security 5algebraic-effects 5
emiliaprotocol/emilia-protocol
Instructions file GitHub Copilot
Instructions for emiliaprotocol/emilia-protocol: Read AGENTS.md and AICONTEXT.md before proposing changes. Current evidence and provenance are in public/.well-known/emilia-context.json. Treat archived, staged, private, and outreach documents as non-authoritative for current behavior or standards status.
emiliaprotocol/emilia-protocol
Instructions file CodexOpenCode
Instructions for emiliaprotocol/emilia-protocol, covering repository instructions for ai agents, required first read, source discipline, context maintenance and verification.
emiliaprotocol/emilia-protocol
Instructions file
Instructions for emiliaprotocol/emilia-protocol, covering emilia protocol - repo guide, required context, critical, build & ship and outbound & claims.
Instructions file CodexOpenCode
Instructions for aallan/vera, covering agents.md — instructions for ai agents, for agents writing vera code, conformance programs as reference, workflow and commands.
Instructions file
Instructions for aallan/vera, covering claude.md — project orientation for claude code, virtual environment, key commands, project layout and writing vera code.
Instructions file GitHub Copilot
Instructions for fizzbee-io/fizzbee, covering fizzbee model-based testing (mbt), installation, workflow, scaffold commands and language feature support.
Instructions file GitHub Copilot
Instructions for fizzbee-io/fizzbee, covering fizzbee specification language, installation & running, file structure, optional yaml frontmatter and core language.
Instructions file
Instructions for fizzbee-io/fizzbee, covering claude code instructions for fizzbee, build commands, important guidelines, testing and running the test suite.
Instructions file CodexOpenCode
Instructions for dredozubov/hazmat, covering agent instructions, quick reference, non-interactive shell commands, force overwrite without prompting and for recursive operations.
Instructions file
Instructions for dredozubov/hazmat, covering claude.md — hazmat, what this is, before you change anything, repository layout and build and test.
Instructions file CodexOpenCode
Instructions for Verified-zkEVM/VCVio, covering vcvio — ai agent guide, fast start, attribution, headers, and docstrings, module scopes and what this project is.
Instructions file
Instructions for Verified-zkEVM/VCVio, a project described as: A Lean library for machine-checked cryptographic proofs.
Instructions file GitHub Copilot
Instructions for QWED-AI/qwed-verification: Read and follow QWEDRULES.md for every suggestion.
schildep/verified-polygon-intersection
Instructions file
Instructions for schildep/verified-polygon-intersection, covering guideline on placement of definitions/theorems, network access and bash commands.
Instructions file CodexOpenCode
AGENTS.md instructions for qualixar/skillfortify, covering gitnexus — code intelligence, always do, never do, resources and cli.
Instructions file
Instructions for yamafaktory/formal, covering formal, rust, the files that judge changes, hints and lean.
SkyShannonProver/shannon-prover
Instructions file CodexOpenCode
AGENTS.md instructions for SkyShannonProver/shannon-prover, covering shannon prover: repository contract, non-negotiable boundaries, runtime ownership, current agent-facing turn and runtime authority and identity.
SkyShannonProver/shannon-prover
Instructions file
Claude Code instructions for SkyShannonProver/shannon-prover, covering shannon prover: claude entry point, current boundary, easycrypt environment, eval safety and current documentation.
Instructions file CodexOpenCode
Instructions for Sowiedu/Edict, covering agents.md, what is edict?, quick orientation, agent skills (deep-dive guides) and mcp server.
Instructions file GitHub Copilot
Instructions for Sounio-lang/sounio, covering sounio language instructions for github copilot, compiler, critical syntax differences from rust, effects system (required) and variables and types.
Instructions file CodexOpenCode
Instructions for Sounio-lang/sounio, covering agents.md, steps, purpose, recovery + remote-first bootstrap and repository identity.
Instructions file
Instructions for Sounio-lang/sounio, covering claude.md, 1. calibration — read before any analysis, 2. project identity, 3. session bootstrap and 4. build & run.
Instructions file Gemini CLI
Gemini CLI instructions for ahmadshady747-create/LOCUS, covering locus workspace guidelines & architectural protocol, 1. hard constraints & prohibitions (zero tolerance), 2. mandatory step-by-step execution lifecycle and 3. execution proof requirement.
Instructions file GitHub Copilot
Project instructions for GitHub Copilot's Agent Mode, an AI coding assistant inside Visual Studio Code, covering architecture, Python setup, notes, and Git workflow.