Home / Owners / jasisz

jasisz/aver

7 agent markdown files indexed from jasisz/aver. Install any of them pinned to an exact hash with mdr add jasisz/aver/<name>.

the-method 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 · 61 stars

AGENTS.md agents

jasisz/aver · AGENTS.md

git:20260924.e56826b · audit A · 61 stars

CLAUDE.md claude

jasisz/aver · CLAUDE.md

git:20260311.84f89c1 · audit A · 61 stars

llms-full.txt llmstxt

jasisz/aver · llms-full.txt

git:20260521.356d282 · audit B · 61 stars

llms.txt llmstxt

jasisz/aver · llms.txt

git:20260521.356d282 · audit B · 61 stars

llms-full.txt@tools/website llmstxt

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

git:20260924.e56826b · audit A · 61 stars

llms.txt@tools/website llmstxt

jasisz/aver · tools/website/llms.txt

git:20260924.e56826b · audit A · 61 stars

Source

github.com/jasisz/aver · 61 stars · license MIT · pushed 2026-09-24