msradam/theodosia

Put an AI agent on rails: mount a Burr state machine as an MCP server so the agent can only take the next allowed step, with every step recorded and replayable.

15Stars on the repository
8Mods indexed here, across every type
4d agoLast push, which is what freshness is scored on
Apache-2.0Licence, which decides whether bodies are shown

claude-api

01

msradam/theodosia

Skill Claude CodeCodex

Build, debug, and optimize Claude API / Anthropic SDK apps. Apps built with this skill should include prompt caching. Also handles migrating existing Claude API code between Claude model versions (4.5 → 4.6, 4.6 → 4.7, retired-model replacements). TRIGGER when: code imports anthropic/@anthropic-ai/sdk; user asks for…

not rated 15 4d ago A 193 tokens copy · 100% Apache-2.0

differential-review

02

msradam/theodosia

Skill Claude CodeCodex

Performs security-focused differential review of code changes (PRs, commits, diffs). Adapts analysis depth to codebase size, uses git history for context, calculates blast radius, checks test coverage, and generates comprehensive markdown reports. Automatically detects and prevents security regressions.

not rated 15 4d ago A 61 tokens copy · 92% Apache-2.0

doc-coauthoring

03

msradam/theodosia

Skill Claude CodeCodex

Guide users through a structured workflow for co-authoring documentation. Use when user wants to write documentation, proposals, technical specs, decision docs, or similar structured content. This workflow helps users efficiently transfer context, refine content through iteration, and verify the doc works for readers.…

not rated 15 4d ago A 77 tokens copy · 100% Apache-2.0

fp-check

04

msradam/theodosia

Skill Claude CodeCodex

Systematically verifies suspected security bugs to eliminate false positives. Produces TRUE POSITIVE or FALSE POSITIVE verdicts with documented evidence for each bug.

not rated 15 4d ago A 32 tokens copy · 86% Apache-2.0

mcp-builder

05

msradam/theodosia

Skill Claude CodeCodex

Guide for creating high-quality MCP (Model Context Protocol) servers that enable LLMs to interact with external services through well-designed tools. Use when building MCP servers to integrate external APIs or services, whether in Python (FastMCP) or Node/TypeScript (MCP SDK).

not rated 15 4d ago A 61 tokens copy · 100% Apache-2.0

security-audit

06

msradam/theodosia

Skill Claude CodeCodex

Use when auditing a web app for security vulnerabilities. Triggers on: 'audit my project', 'how could this get hacked', 'find bugs in this codebase', 'security review', 'pentest', 'bug bounty scope for X', 'GHSA collaborator invite', 'security audit this'. Handles both internal audits (sitting in your own codebase…

not rated 15 4d ago B 250 tokens original Apache-2.0

skill-creator

07

msradam/theodosia

Skill Claude CodeCodex

Create new skills, modify and improve existing skills, and measure skill performance. Use when users want to create a skill from scratch, edit, or optimize an existing skill, run evals to test a skill, benchmark skill performance with variance analysis, or optimize a skill's description for better triggering accuracy.

not rated 15 4d ago A 64 tokens copy · 88% Apache-2.0

webapp-testing

08

msradam/theodosia

Skill Claude CodeCodex

Toolkit for interacting with and testing local web applications using Playwright. Supports verifying frontend functionality, debugging UI behavior, capturing browser screenshots, and viewing browser logs.

not rated 15 4d ago A 35 tokens copy · 100% Apache-2.0

At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: