Links and Artifacts
This page is the editable URL registry for the site. Keep external pages, repository targets, localhost demos, and generated artifact views here so they can be swapped in one place.
Public Pages
- FormalFoundry.ai
- Codex Scribe
- Projects
- Demos
- White Paper
- Architecture
- Contact
- Explanation for everyone
- Explanation for developers
- Explanation for experts
Repositories
Local Demos
- State Machine Studio app
- State Machine Studio API
- MLTTDB web app
- MLTTDB validation API
- ff-html generated introduction
- ff-html component gallery
- ff-html safe dashboard
- cubical-sm generated docs
- cubical-sm nested-machine docs
- SMLogic generated docs
- SMLogic CTL generated docs
- tower generated docs
- tower examples generated docs
- Cubical Cauchy reals generated docs
- Cubical rationals generated docs
Generated Artifacts
- Agda Runtime README rendering
- agda-web-api README rendering
- Agentic Agda branch overview
- State Machine Studio README rendering
- State Machine Studio recorded demos
- cubical-sm README rendering
- SM top module
- SM.Everything module
- SM nested-machine modules
- SM core Machine definition
- SM Reachable definition
- Temporal logic README rendering
- SMLogic top module
- SMLogic.Everything module
- SMLogic CTL syntax
- SMLogic TemporalModel
- Tower README rendering
- Tower.Everything module
- Tower.Base module
- Tower examples module
- Tower Implementation record
- Tower Complete bundle
- Tower RuntimeProtocol bundle