Skip to content
#

cross-provider

Here are 15 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 Sep 3, 2026
  • Python

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