All

6 repositories

knot0-www
Public
Knot0 website
TypeScript
•0•0•0•0•Updated Mar 23, 2026Mar 23, 2026
.github
Public
Organization profile
0•0•0•0•Updated Mar 22, 2026Mar 22, 2026
semi-formal-reasoning
Public
Structured code verification, fault localization, and semantic analysis — agent skill based on the Agentic Code Reasoning paper
debugging fault-localization codex
debugging fault-localization codex code-verification gemini-cli claude-code agent-skill semi-formal-reasoning
MIT License
•0•5•0•0•Updated Mar 22, 2026Mar 22, 2026
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.
testing skill architecture
testing skill architecture codex llm spec-validation gemini-cli agent-skills claude-code vibe-testing
MIT License
•2•19•0•0•Updated Mar 22, 2026Mar 22, 2026
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 …
repl scratchpad codex
repl scratchpad codex rlm coding-agents gemini-cli claude-code context-efficiency agent-skill
Shell
•
MIT License
•2•19•0•0•Updated Mar 22, 2026Mar 22, 2026
dagain
Public
DAG-based orchestration CLI for coding agents
JavaScript
•0•10•0•0•Updated Mar 22, 2026Mar 22, 2026

ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.