All

5 repositories

cathedral
Public
Decentralized formal verification. Built on SAT.
python subnet sat-solver
python subnet sat-solver formal-verification ai-safety ai-agents automated-reasoning bittensor
Python
•3•4•6•8•Updated Jul 3, 2026Jul 3, 2026
cathedral-baseline-agent
Public
Fork this and join the swarm. Reference Hermes agent that passes verification on day one.
starter-template hermes reference-implementation
starter-template hermes reference-implementation ai-agents bittensor
Python
•0•0•0•0•Updated Jun 24, 2026Jun 24, 2026
sat-king
Public
The reigning SAT champion image — king-of-the-hill arena artifact, served attested via Polaris
Dockerfile
•0•0•0•0•Updated Jun 12, 2026Jun 12, 2026
cathedral-eval-spec
Public
What the swarm competes on. Cards, rubrics, source pools.
evaluation specification ai-safety
evaluation specification ai-safety regulatory-intelligence bittensor
0•0•0•0•Updated May 16, 2026May 16, 2026
.github
Public
Cathedral org profile
0•0•0•0•Updated May 12, 2026May 12, 2026

ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.