26 projects
machlib
Pre-alpha umbrella package for MachLib evidence tooling boundaries.
review-branch-packet
Pre-alpha read-only private review branch packet generator.
eml-records
Pre-alpha schema and validation helpers for EML-style evidence records.
claim-boundary
Pre-alpha scanner for claim and no-go boundary language.
zero-mathlib-checker
Pre-alpha scanner for direct Mathlib dependency evidence.
eml-control
Bounded control and guard primitives for EML-style contract workflows.
eml-signal
Bounded signal-processing kernels and contract metadata for EML-style workflows.
eml-units
Warning-first unit and range checker for EML-style contract sidecars.
monogate-graph
Evidence/dependency graph toolkit for Monogate-style artifact workflows.
eml-cost
Pfaffian chain order, EML routing depth, and the symbolic-expression toolbelt for SymPy.
eml-cost-torch
In-development PyTorch diagnostics for Pfaffian layer profiles, EML-graph curvature, differential-Galois bounds, and Schwarz 2F1 detection.
eml-stdlib
EML standard-library prototype for game development. PBR shaders, procedural noise, procedural textures, lighting, terrain, animation curves, particles, audio attenuation + Doppler, rigid-body physics, and math/signal/control/biology/ballistics/ML kernels with explicit verification-contract metadata where available.
monogate-capcard-cli
Persistent identity + verification CLIs for Monogate CapCard agents
monogate-forge-mcp
MCP server exposing the Monogate Forge compiler as 9 tools + REST /compile
efrog
Supported source frontends to Forge-compatible EML — eFrog is Forge spelled backwards.
monogate-forge
EML language and compiler for verified mathematical computation across 36 targets: software, GPU shaders, hardware (FPGA/ASIC, SPICE, KiCad, and JLCPCB), formal verification, and safety-critical systems.
eml-memory-curate
Markdown-frontmatter memory curator: tiered indexing, semantic search, and contradiction flagging on top of any memory directory.
eml-memory
Typed, append-only memory store for agentic Claude / LLM sessions. Hybrid text + structured-tag query.
eml-jupyter
DEPRECATED — consolidated into eml-cost[jupyter]. See README.
eml-graph
DEPRECATED — consolidated into eml-cost[graph]. See README.
eml-witness
DEPRECATED — consolidated into eml-cost[witness]. See README.
eml-explore
DEPRECATED — consolidated into eml-cost[explore]. See README.
eml-rewrite
DEPRECATED — consolidated into eml-cost[rewrite]. See README.
monogate
EML arithmetic — all elementary functions from eml(x,y) = exp(x) − ln(y) — with universality witness, CLI, and Jupyter integration
eml-discover
Identify famous mathematical formulas from arbitrary SymPy expressions.
capcard-ai
Machine-readable capability profiles for the agent economy
