Project Navi
Change the repository type filter
All
Repositories list
11 repositories
navi-bootstrap
Public templateSpec-driven Jinja2 engine + 8 template packs for production-grade Python projects — CI, security, code review, and release pipelines.- The Creative Determinant: autopoietic closure as a nonlinear elliptic BVP on a compact Riemannian manifold, with Lean 4-verified existence conditions (15 theore…
grippy-code-review
PublicAI-powered PR review agent with security rule engine, structured findings, and a grumpy auditor personanavi-sanitize
PublicDeterministic input sanitization for untrusted text — invisible characters, homoglyphs, and encoding tricks, handled before your code sees them. Zero dependenci…navi-SAD
PublicSpectral Attention Divergence — dynamical systems probe for LLM inference via dual-path attention comparison and delay-coordinate attractor reconstructionnavi-fractal
PublicSandbox fractal dimension estimation for complex networks — with quality gates, model selection, and refusal when evidence is insufficient.github
Publictakens-formalization
PublicLean 4 + Mathlib formalization of delay embedding theory for dynamical systemsProject-Navi.github.io
Publicfd-formalization
PublicLean 4 + Mathlib formalization: (u,v)-flower graph construction, hub distance = u^g, and log-ratio convergence to log(u+v)/log(u)cd-formalization
PublicLean 4 + Mathlib formalization of the Creative Determinant framework — 15 theorems proved with zero sorry, CI-enforced via lake build --wfail
ProTip! When viewing an organization's repositories, you can use the
props. filter to filter by custom property.