home
Monogate
Primary organization surface and ecosystem entry point.
monogate.orgNetwork spine
From source to ecosystem
- EML
- Forge
- eFrog
- MachLib
- CapCard
- Experiences
- Packages
Core
Primary surfaces
social
Monogate on X
Public updates and lightweight ecosystem notes.
x.com/monogate_orgDeveloper tools
Build and learn
learn / labs
Monogate Dev
Developer-facing learning pages, labs, and tool introductions.
monogate.devcompiler
Forge
EML tooling and target-oriented compiler surface.
monogateforge.comsource bridge
eFrog
Supported source-to-EML workflow surface.
efrog.devFormal / math
Math infrastructure
math library
MachLib
Mathematical and symbolic tooling surface.
machlib.orgAgent evidence
Capability records
cards
CapCard
Capability cards and evidence-oriented agent workflow surface.
capcard.aioperator
1OP
One-operator workflow and coordination surface.
1op.ioExperiences
Interactive surfaces
software replay
Proof-Carrying Rescue Explorer
Interactive inspection surface for Forge rescue-suite manifests, boundary-event traces, replay status, and MachLib obligation routing.
monogate.dev/explorer/rescue-suiteexperience
Glass Box
Web experience surface in development.
glassbox.monogate.devPackages
Published package surfaces
Package
Role
Link
Data / labs
Datasets and lab surfaces
Public dataset and API surfaces for proof-learning records and lab workflows.
API / lab
PETAL
Proof-learning dataset/API lab for EML and agent curriculum experiments. In development.
api.monogate.dev/api/petal/healthdataset
Monogate/petal-eml
Public dataset surface for PETAL proof-learning records.
huggingface.co/datasets/Monogate/petal-emlpending
MachLib dataset surface
Pending public access review. Use machlib.org as the public MachLib entry point for now.