Scholialang
codexScholialang plugin 0.7.2: local per-project auto-emit tracing, a structured-reasoning DAG, and validation of the stable Scholia v0.6.2 language grammar.
1 skill · 1 MCP server · hooks
Scholialang plugin 0.7.2: local auto-emit tracing, a structured-reasoning DAG, stable Scholia v0.6.2 language validation, and Codex/Claude Code rollout import.
Plugin scholialang from marketplace scholialang-mcp in dougfirlabs/scholialang-mcp. Commands read from the repo's manifest — 1 month ago.
This plugin runs code on your machine — its hooks fire automatically on events like tool use and it starts local MCP servers. The exact commands are listed below; read them before installing.
scholialangUse when the user wants Claude Code to capture, inspect, summarize, search, compact, export, lint, or reason from explicit local Scholialang DAG traces. Also use when the user asks about Scholialang atoms, relations, operators, examples, validator rules, or local graph history.
scholialangruns: python3 ${CLAUDE_PLUGIN_ROOT}/scripts/scholialang_mcp_server.py
python3
python3
Scholialang plugin 0.7.2: local per-project auto-emit tracing, a structured-reasoning DAG, and validation of the stable Scholia v0.6.2 language grammar.
1 skill · 1 MCP server · hooks
MCP server, LSP, and Codex/Claude Code/Ollama plugins for Scholia — helping agentic systems preserve reasoning state, use tools without quality loss, and reduce context cost across long-horizon work
Matt Pocock's agent skills for real engineering (grilling, spec/ticket flows, TDD, code review, domain modelling and more).
39 skills
Core skills library for Claude Code: TDD, debugging, collaboration patterns, and proven techniques
15 skills · hooks
Persistent memory for Claude Code: the next session starts where the last one left off.
29 skills · 1 MCP server · hooks
Open-source AI job search that runs locally in your AI coding CLI: scan job portals, evaluate listings into a structured A-H report with a 1-5 score, tailor your CV, track applications
5 skills · hooks
Cross-session memory and token savings for coding agents.
6 skills · 1 agent · 1 MCP server · hooks
Up-to-date documentation lookup. Pull version-specific documentation and code examples directly from source repositories into your coding agent's context.
1 MCP server
This page updates itself from your repo. Add the badge to your README, or get it Featured to pin it above the organic results with a followed link to your site.