MCP App StoreMCP App StoreThis skill provides a specialized workflow for completing mathematical proofs in the Lean 4 theorem prover, specifically focusing on sequences and convergence. It guides the agent through the process of writing proofs that are not only mathematically correct but also type-check without warnings.
Use this skill when tasked with proving properties about sequences, series, or general mathematical theorems within a .lean file where a template is provided and the agent must complete the proof from a specific line onward.
lake build or lean --check, and refining proofs based on exact compiler error messages.Suitable for agents with filesystem access and a Lean 4 environment (e.g., Codex, Claude Code, or custom AI agents configured for formal verification).
This skill has not been reviewed by our automated audit pipeline yet.
Millennium: Hodge Conjecture — Algebraic Geometry Journey
A high-intensity, multi-day guided exploration of the Hodge Conjecture and its place in algebraic geometry, split into 30 interactive steps for learners and res
SymCLI Skill
Integrates the SymCLI symbolic computation engine to solve equations, optimize tensor graphs, and analyze C# code with provable exactness rather than LLM-only r
PolicyPulse Development
Guides AI agents to build PolicyPulse: a Python-based synthetic population simulator with clean architecture, type-safe code patterns, and Streamlit dashboard d
Numina Lean Agent — Theorem Proving Toolkit
A Lean 4 theorem-proving assistant: search lemmas, verify proofs, repair and simplify proofs, and get LLM-assisted informal proofs.
Basedpyright Python Type Checking
Implementation of strict static type checking for Python using Basedpyright to ensure maximum type safety and code quality.
Condensed Mathematics (Scholze-Clausen)
Implements the Scholze-Clausen framework for combining topology with algebra using condensed sets and liquid/solid modules.
Code Realign
Handles domain-model renames and state vocabulary changes requiring tracked data migrations.
Zod v4 Schema Validation Expert
Comprehensive guidance and best practices for Zod v4 runtime type validation, schema design, and TypeScript type inference.