Pinned Loading

1. S42-omega2-reproducibility S42-omega2-reproducibility Public

   Certified results for the weight-6 Euler sum S₄,₂(x) at dyadic arguments: a corrected exact closed form at x = 1/2, a certified relation at x = 1/4, x = −1/2 open. Includes a Lean 4 formalization, …

   Python

2. CogniPath CogniPath Public

   CogniPath – Intent-driven networking framework demonstrating distributed language-model-assisted routing concepts, topology awareness, and legacy protocol interoperability. Public repo contains hig…

   Python 2

3. proofrunner proofrunner Public

   proofrunner is an evidence-gated workflow for AI-assisted Lean 4 formalization. LLMs propose proofs, the Lean kernel independently verifies them, and humans retain authority over definitions and de…

   Python

4. lm-hierarchy-topology lm-hierarchy-topology Public

   IETF Internet-Draft: Hierarchical Topology for Language Model Coordination

5. project-helios-I project-helios-I Public

   Project HELIOS Paper I — digital twin architecture for Caplan-class stellar propulsion. Hierarchical Engine Learning, Integration, Observation and Simulation.

   Python

6. nso-rocket nso-rocket Public

   Launch Cisco NSO beyond traditional automation. Multi-agent intelligence via AGNTCY + visual workflows via n8n = faster deployments, zero drift, & enterprise-scale network operations.

   Python 3 1