Software that writes itself. And never stops.
| Repo | Description |
|---|---|
| repl-scratchpad | Persistent REPL scratchpad for coding agents |
| semi-formal-reasoning | Structured code verification and fault localization |
| vibe-testing | Pressure-test specs with LLM reasoning before writing code |
| dagain | DAG-based orchestration CLI for coding agents |
| knot0-www | Website source |
Pressure-test your specs with LLM reasoning before writing code. Agent skill for Claude Code, Codex, Gemini CLI, and 14+ coding agents.
Persistent REPL scratchpad for coding agents — variables survive across turns, only print() enters context. Agent skill for Claude Code, Codex, Gemini CLI, and 14+ coding agents.
Structured code verification, fault localization, and semantic analysis — agent skill based on the Agentic Code Reasoning paper
Structured code verification, fault localization, and semantic analysis — agent skill based on the Agentic Code Reasoning paper
Pressure-test your specs with LLM reasoning before writing code. Agent skill for Claude Code, Codex, Gemini CLI, and 14+ coding agents.
Persistent REPL scratchpad for coding agents — variables survive across turns, only print() enters context. Agent skill for Claude Code, Codex, Gemini CLI, and 14+ coding agents.
This organization has no public members. You must be a member to see who’s a part of this organization.
Loading…
Loading…
