Project-Navi/navi-creative-determinant
The Creative Determinant: autopoietic closure as a nonlinear elliptic BVP on a compact Riemannian manifold, with Lean 4-verified existence conditions (15 theorems, zero sorry)
Stars
3
Forks
—
Language
TeX
License
—
Last pushed
Apr 06, 2026
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/ai-safety/Project-Navi/navi-creative-determinant"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Higher-rated alternatives
BlackArch/blackarch
An ArchLinux based distribution for penetration testers and security researchers.
BishopFox/sliver
Adversary Emulation Framework
casdoor/casdoor
An open-source AI-first Identity and Access Management (IAM) /AI MCP & agent gateway and auth...
0xsyr0/Awesome-Cybersecurity-Handbooks
A huge chunk of my personal notes since I started playing CTFs and working as a Red Teamer.
openguardrails/openguardrails
Protect every action your agent takes.