Skip to content
#

cross-provider

Here are 12 public repositories matching this topic...

Machine-checked Lean 4 proofs for "Minimal Topologies of Forward-Local Failure in AI Systems: The Hamiltonian Microscope" — hamiltonian-path as abstract ConstraintSystem instance (inheriting Sudoku-Microscope theorems) and Layer 2 silent-commit signature formalization with provider-agnostic well-definedness.

  • Updated May 19, 2026
  • Lean

Volante — a transparent, user-owned model router and orchestration control plane (alpha). Plans a task DAG, filters hard capabilities, then routes each sub-task across your configured models (Anthropic, OpenAI-compatible, Ollama, Claude Code, Codex) with a full, auditable decision trace. No LangChain/CrewAI/LiteLLM.

  • Updated Aug 4, 2026
  • Python

Improve this page

Add a description, image, and links to the cross-provider topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the cross-provider topic, visit your repo's landing page and select "manage topics."

Learn more