0bserver07/bourbaki

An autonomous agent for mathematical reasoning and proof

/ 100

Experimental

No Package No Dependents

Maintenance 13 / 25

Adoption 0 / 25

Maturity 9 / 25

Community 0 / 25

Stars

—

Forks

—

Language

Python

License

MIT

Category

Last pushed

Mar 08, 2026

Commits (30d)

Get this data via API

curl "https://pt-edge.onrender.com/api/v1/quality/agents/0bserver07/bourbaki"

Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.

Featured in

whataboutyou-ai/eunomia

Eunomia is the open-source authorization layer for AI Agents

DariuszNewecki/CORE

Governance runtime enforcing immutable constitutional rules on AI coding agents

rafapra3008/cervellaswarm

Lingua Universale -- a verification language for AI agent protocols. Like mypy for multi-agent...

rokabytedev/proofrun

Teach your coding agent to prove its own work — evidence, not claims

TetiAI/lucid

Cognitive health protection for AI agents. Monitors user-AI interactions across 6...