Popular repositories Loading
-
vibe-testing
vibe-testing PublicPressure-test your specs with LLM reasoning before writing code. Agent skill for Claude Code, Codex, Gemini CLI, and 14+ coding agents.
-
repl-scratchpad
repl-scratchpad PublicPersistent 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.
Shell 5
-
-
semi-formal-reasoning
semi-formal-reasoning PublicStructured code verification, fault localization, and semantic analysis — agent skill based on the Agentic Code Reasoning paper
Repositories
- semi-formal-reasoning Public
Structured code verification, fault localization, and semantic analysis — agent skill based on the Agentic Code Reasoning paper
knot0-com/semi-formal-reasoning’s past year of commit activity - repl-scratchpad Public
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.
knot0-com/repl-scratchpad’s past year of commit activity - vibe-testing Public
Pressure-test your specs with LLM reasoning before writing code. Agent skill for Claude Code, Codex, Gemini CLI, and 14+ coding agents.
knot0-com/vibe-testing’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Most used topics
Loading…