Skip to content
Features
-
Generates spec‑driven code with machine‑checkable proofs
-
Provides a terminal CLI for full coding agent workflow
-
Offers hosted verification via MCP without installing the CLI
No immediate action
v0.3.0
Breaking risk
·
Removed ChatGPT Apps, connectors, remote control
No immediate action
v0.2.1
Bug fix
·
Version string fix
No immediate action
v0.2.0
New feature
·
macOS CLI binaries
Weekly OSS security release digest.
The CVE patches and breaking changes that affected production tools this week. One email, every Sunday.
No spam, unsubscribe anytime.
About
Languages
Rust
·
Shell
·
JavaScript
Search tools, categories, lists, and users
Use ↑↓ to navigate, Enter to open, Esc to close
No results for ""
⌘K to open
↑↓ navigate
⏎ open
