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. miga-mcp-gateway miga-mcp-gateway Public

   One gateway. Eight platform MCP servers + INFER. Zero silos. MIGA routes to published MCP servers across the network stack with AGNTCY discovery, cross-platform correlation and root-cause analysis,…

   Python

5. 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

6. lm-hierarchy-topology lm-hierarchy-topology Public

   IETF Internet-Draft: Hierarchical Topology for Language Model Coordination