Skills MCP Plugins Subagents

Browse by category

Coding Skills2061 Marketing Skills1580 Design Skills1479 Security Skills1134 Automation Skills994 Testing Skills985 Media Skills908 Infrastructure Skills902 Data Skills883 Finance Skills840 Automation MCPs799 Planning Skills797 DevTool MCPs797 Documentation Skills757 Coding MCPs738 Productivity Skills721 Productivity MCPs649 Data MCPs505 DevTool Skills503 Infrastructure MCPs482 Security MCPs441 Debugging Skills428 Code review Skills415 Search & RAG MCPs409

The Monday digest

The week's best new agents, skills and MCP servers. One email, every Monday.

Free · unsubscribe anytime.

aaaa.fyi

Every agent skill, MCP server, plugin and subagent — searchable, comparable, and one command from installed. Live stats from GitHub, npm and PyPI.

Agent Skills MCP Servers Plugins Subagents Coding Agents

Collections Official publishers Glossary Blog Search Saved Feedback

Privacy Terms llms.txt Sitemap

made with ♥ · © 2026 aaaa.fyi

Independent project · real data from public registries

…/anamkwon/programming-as-theory-building-skill

home/plugins/anamkwon/programming-as-theory-building-skill

programming-as-theory-building-skill

29stars2forks

How to install programming-as-theory-building-skill?

anamkwon/programming-as-theory-building-skill

$claude plugin marketplace add AnamKwon/programming-as-theory-building-skill

Installs into the current project.

Summary

A Claude Code plugin and reusable coding-agent skill that turns code generation from prompt completion into theory-preserving engineering work.

Files · 1

.claude-plugin/plugin.json

1	# .claude-plugin/plugin.json
2	claude plugin marketplace add AnamKwon/programming-as-theory-building-skill

AnamKwonPublisher · 3 listings

Preview

AnamKwon/programming-as-theory-building-skill

# Programming as Theory Building Skill

A Claude Code plugin and reusable coding-agent skill that turns code generation from prompt completion into theory-preserving engineering work.

Most coding-agent failures are not syntax failures. They are theory failures: the agent writes code that looks right, but does not understand the invariant the

The skill is grounded in Peter Naur's paper "Programming as Theory Building" (1985). Naur's central claim is that the durable asset in programming is not only t

RepoAnamKwon/programming-as-theory-building-skill

LicenseMIT

CategoryCoding

UpdatedJun 2026

First seenJul 22, 2026

Tags

Plugin Marketplace

People who liked this also viewed

6 picks

Type

andrej-karpathy-skillsA single CLAUDE.md file to improve Claude Code behavior, derived from Andrej Karpathy's observations on LLM coding pitfalls.PluginsApr 2026195k
claude-codeClaude Code is an agentic coding tool that lives in your terminal, understands your codebase, and helps you code faster by executing routine tasks, explaining complex code, and handling git workflows - all through natural language commands.PluginsJul 2026139k
agent-skillsProduction-grade engineering skills for AI coding agents.PluginsJul 202680k
Understand-AnythingGraphs that teach > graphs that impress. Turn any code into an interactive knowledge graph you can explore, search, and ask questions about. Works with Claude Code, Codex, Cursor, Copilot, Gemini CLI, and more.PluginsJul 202676k
frontend-slidesCreate beautiful slides on the web using a coding agent's frontend skillsPluginsJun 202626k
claude-skills345 Claude Code skills & agent skills & plugins (30+ Agents, 70+ custom commands, 330+ skills, customizable references, scripts)for Claude Code, Codex, Gemini CLI, Cursor, and 8 more coding agents — engineering, marketing, product, compliance, C-level advisory, research, business operations, commercial & finance, and your daily productivity skills.PluginsJul 202623k