tobiasosborne/alethfeld

Rigorous Proofs via Adversarial AI Agents

144Stars on the repository
13Mods indexed here, across every type
3mo agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown

alethfeld AGENTS.md

01

tobiasosborne/alethfeld

Instructions file CodexOpenCode

Instructions for tobiasosborne/alethfeld, covering agent instructions, quick reference, starting a new work session and landing the plane (session completion).

not rated 144 3mo ago A 444 tokens original MIT