Claude Code skill that applies Naur's Programming as Theory Building to coding-agent workflows.
☆30Jun 11, 2026Updated 4 months ago
Alternatives and similar repositories for programming-as-theory-building-skill
Users that are interested in programming-as-theory-building-skill are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Universal AI agent skill — strips assumptions to reality floor, calculates convention tax, rebuilds from first principles. Works with Cla…☆24Jun 1, 2026Updated 4 months ago
- When Claude says “tests pass”, makoto checks the record — every claim held against the agent's own logged deeds; fakes blocked, not warne…☆45Oct 16, 2026Updated last week
- Is your project as good as the best out there? sota-scan benchmarks your repo against real top projects and hands you a scorecard + to-do…☆43Jun 22, 2026Updated 4 months ago
- Build and customize a production-ready agent workflow from scratch, or audit and upgrade your existing projects.☆20Sep 6, 2026Updated last month
- Knack CLI: agent-friendly skill operations. Self-host on GitHub or use Knack Cloud.☆22Jul 27, 2026Updated 2 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- CTO-level architectural skill for Claude Code☆51Apr 27, 2026Updated 5 months ago
- Local-first MCP memory server for AI agents, with source citations and OKF/Markdown knowledge bases.☆18Oct 13, 2026Updated last week
- ☆15Aug 13, 2026Updated 2 months ago
- Tune Claude's interaction style with named-stop dials that persist across sessions. /calibrate + /calibrate-studio.☆17Jun 24, 2026Updated 3 months ago
- TERSE - a hierarchical state language for humans and AI agents.☆36Jul 24, 2026Updated 2 months ago
- Use cultivar to test your Agent Skills and Docs by running them in sandboxes, and across different agents.☆42Oct 14, 2026Updated last week
- self questioning skill for agents , claude code , codex etc☆129Aug 13, 2026Updated 2 months ago
- A skill to avoid writing AI-like texts you can install in your best AI tool☆31Sep 26, 2026Updated 3 weeks ago
- Skills for engineers that care about quality and scalability. Lessons condensed from my blog articles.☆20Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Run Claude Code subagent/UltraCode fan-out on DeepSeek v4-flash via the Reasonix CLI — keep Claude as the main agent, route fan-out lanes…☆20Jun 29, 2026Updated 3 months ago
- ☆53Updated this week
- agent structure algorithms - a set of skills for making your agentic AI work algorithmically structured.☆18Sep 24, 2026Updated 3 weeks ago
- ☆50Jul 20, 2026Updated 3 months ago
- An example repo full of Douglas Adams quotes☆16Mar 12, 2024Updated 2 years ago
- MCP bridge that lets Claude Code delegate heavy tasks to the Antigravity CLI (agy) — purpose-built tools, model routing with fallback, se…☆60Sep 19, 2026Updated last month
- Smart Document API turns PDFs, Office documents, and images into structured layouts, OCR text, tables, formulas, and Markdown for AI-powe…☆26Jul 14, 2026Updated 3 months ago
- High-performance batched Top-K selection for CPU inference. Up to 80x faster than PyTorch, optimized for LLM sampling with AVX2 SIMD.☆18Mar 20, 2026Updated 7 months ago
- a secret store for ai agents with one rule: the agent never sees the plaintext. get a secret once into the os keychain, then inject it in…☆20Sep 24, 2026Updated 3 weeks ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- the best token is the token never spent☆33Aug 3, 2026Updated 2 months ago
- Basic TypeScript Node.js repository scaffold (no frameworks) with fantastic DX out-of-the-box☆17Nov 24, 2025Updated 10 months ago
- A linter for Claude SKILL.md files. Catches the vague descriptions, oversized bodies, and silent trigger failures that keep skills from f…☆26Sep 28, 2026Updated 3 weeks ago
- Local-first AI app-builder brain for Claude Code, Codex, and Cursor: archetypes, golden templates, UI/UX playbooks, and review loops, des…☆55Sep 15, 2026Updated last month
- SpiderBrain v3 is a multi-platform skill/framework to reduce token usage and AI hallucinations across Claude, Cursor, and other AI tools.☆66Jun 4, 2026Updated 4 months ago
- OpenSuno-YuE2: local music generation studio for the YuE2 model on Apple Silicon and Windows/NVIDIA, with automatic model downloads.☆21Oct 5, 2026Updated 2 weeks ago
- Easy file organisation, free from the Mac App Store☆16May 25, 2017Updated 9 years ago
- A local prompt-difficulty classifier that automatically sets Pi reasoning effort.☆12Jul 3, 2026Updated 3 months ago
- Cross-host development orchestrator for Codex CLI and Claude Code CLI☆22Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A self-verifying, self-improving Place for an AI to live within: an untrusted inhabitant acts through a machine-checked policy envelope w…☆19Sep 26, 2026Updated 3 weeks ago
- A single CLI to keep your local repositories, AI agent skills, and MCP server configurations in sync.☆57Aug 4, 2026Updated 2 months ago
- Files-first operating system for internet businesses: research, decisions, bets, pushes, and outputs in markdown/git, with an mb CLI and …☆44Oct 16, 2026Updated last week
- Unofficial TypeScript SDK for Muse☆21Updated this week
- A prompt compiler skill for /goal and ralph loop☆24Oct 13, 2026Updated last week
- Yet another sveltekit starter☆10Mar 11, 2025Updated last year
- this is an easy way to make ai podcast useing ai loccaly like ollama and the tts of piper☆17Feb 17, 2026Updated 8 months ago