Project Navi
Research software for measurement, security, and formal verification. Zero-dependency libraries with audit-grade quality gates.
Research software for measurement, security, and formal verification. Zero-dependency libraries with audit-grade quality gates.
Autopoietic closure as a nonlinear elliptic BVP on a compact Riemannian manifold. Existence conditions for self-sustaining creative systems.
Dynamical systems probe for LLM inference. Dual-path attention comparison with delay-coordinate attractor reconstruction via permutation entropy.
Sandbox fractal dimension estimation for complex networks. Quality gates refuse to emit a dimension unless positive evidence of power-law scaling exists.
AI code review agent with deterministic security rules and LLM-powered audit. MCP server, GitHub Action, and CLI. Works with any OpenAI-compatible endpoint.
Deterministic input sanitization for untrusted text. Homoglyphs, invisible chars, null bytes, NFKC normalization, template injection. Zero dependencies.
Spec-driven Jinja2 engine with 8 template packs for production-grade Python projects. CI, security, code review, and release pipelines out of the box.
Lean 4 + Mathlib formalization of the Creative Determinant framework. 15 theorems proved with zero sorry, CI-enforced via lake build.
Lean 4 + Mathlib formalization of (u,v)-flower graph dimension. Hub distance, log-ratio convergence, and construction proofs. Zero sorry.
Lean 4 + Mathlib formalization of delay embedding theory. 42 declarations, novel coincidence length result. Zero sorry.