Skill Claude CodeCodex
Cross-reference a paper against the collection. Finds which cited papers are already collected, which are new leads, which collection papers cite this one, and reconciles all cross-references bidirectionally. Run on a single paper directory or use --all for the entire collection.
Skill Claude CodeCodex
Register concepts from a paper into its propstore source branch using pks source propose-concept.
Skill Claude CodeCodex
Author the DeLP/Datalog predicate declaration artifacts a paper's rules will use. Required before author-rules if the paper's rules reference predicates not yet declared.
Skill Claude CodeCodex
Research a topic using web search and create structured findings. Use when you need to investigate approaches, find papers, compare implementations, or gather knowledge on a topic. Creates structured notes in reports/ directory.
Skill Claude CodeCodex
Initialize a propstore source branch for an extracted paper directory and write notes plus metadata into that source branch.
Skill Claude CodeCodex
Promote a fully prepared propstore source branch for one paper directory into master.
Skill Claude CodeCodex
Add tags to papers that are missing them. Reads notes.md and description.md to pick 2-5 tags, preferring tags already in use. Run on a single paper directory or use --all for the entire collection.
Skill Claude CodeCodex
Grade a drafted literature review against the cited papers' notes. For each cited @key, read that paper's notes.md/abstract.md and grade whether the citing sentence is faithful. Fans out one subagent per cited paper.
ctoth/mcp_server_code_extractor
Instructions file
Claude Code instructions for ctoth/mcp_server_code_extractor, covering claude.md, development commands, run all tests using pytest, run individual test files and quick functional test of core mcp server.