Home / Owners / jasisz

jasisz/aver

7 instruction files for AI agents, collected from jasisz/aver. Install any of them at an exact version with mdr add jasisz/aver/<name>.

the-method SKILL.md skill

jasisz/aver · .claude/skills/the-method/SKILL.md · The Method — close an OPEN Aver proof law by having an agent propose auxiliary helper lemmas, test them with `aver…

git:20260924.e56826b · audit B · 66 stars

AGENTS.md AGENTS.md file

jasisz/aver · AGENTS.md

git:20261104.3305641 · audit A · 66 stars

CLAUDE.md CLAUDE.md file

jasisz/aver · CLAUDE.md

git:20260311.84f89c1 · audit A · 66 stars

llms-full.txt llms.txt file

jasisz/aver · llms-full.txt

git:20260521.356d282 · audit B · 66 stars

llms.txt llms.txt file

jasisz/aver · llms.txt

git:20260521.356d282 · audit B · 66 stars

llms-full.txt@tools/website llms.txt file

jasisz/aver · tools/website/llms-full.txt

git:20261106.9187af2 · audit A · 66 stars

llms.txt@tools/website llms.txt file

jasisz/aver · tools/website/llms.txt

git:20261101.91d22b3 · audit A · 66 stars

Source

github.com/jasisz/aver · 66 stars · license MIT · pushed 2026-11-08