u9401066/nsforge-mcp

Neurosymbolic Forge — an MCP server that turns concepts into verifiable, traceable formulas via deterministic symbolic derivation with provenance. 89 tools, 10-gate verification harness.

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

changelog-updater

01

u9401066/nsforge-mcp

Skill Claude CodeCodex

An automatic updater for CHANGELOG.md, the file that records notable software changes, using the Keep a Changelog format.

not rated 4 4d ago A 41 tokens original Apache-2.0

code-refactor

02

u9401066/nsforge-mcp

Skill Claude CodeCodex

A code-refactoring skill that helps reorganize code into smaller, clearer parts while following domain-driven design, an approach that structures software around business concepts.

not rated 4 4d ago A 50 tokens original Apache-2.0

code-reviewer

03

u9401066/nsforge-mcp

Skill Claude CodeCodex

A code-review tool that examines source code for quality, security, performance, maintainability, and test coverage. Code review means checking proposed or existing changes for problems before they are accepted.

not rated 4 4d ago A 46 tokens original Apache-2.0

ddd-architect

04

u9401066/nsforge-mcp

Skill Claude CodeCodex

A coding guide for Domain-Driven Design (DDD), a way to organise software around the business concepts it serves. It separates business rules from database and other technical code.

not rated 4 4d ago A 45 tokens original Apache-2.0

git-doc-updater

05

u9401066/nsforge-mcp

Skill Claude CodeCodex

A Git workflow that checks key project documents before commits or releases and updates them when code changes make them outdated.

not rated 4 4d ago A 44 tokens original Apache-2.0

git-precommit

06

u9401066/nsforge-mcp

Skill Claude CodeCodex

A Git pre-commit workflow coordinator that runs selected checks and documentation updates before a change is committed. It can synchronize a project memory file and update the README, changelog, roadmap, and architecture documents.

not rated 4 4d ago A 60 tokens original Apache-2.0

memory-checkpoint

07

u9401066/nsforge-mcp

Skill Claude CodeCodex

A memory-saving routine that records important project context, decisions, progress, and architecture changes in a Memory Bank.

not rated 4 4d ago A 50 tokens original Apache-2.0

memory-updater

08

u9401066/nsforge-mcp

Skill Claude CodeCodex

A set of instructions for maintaining a project's Memory Bank: files that record current work, progress, and important decisions.

not rated 4 4d ago A 53 tokens original Apache-2.0

u9401066/nsforge-mcp

Skill Claude CodeCodex

A code and report generation skill with instructions and tools for producing Python functions, LaTeX formulas, Markdown reports, and SymPy scripts. LaTeX is a text format for typeset documents and formulas; SymPy is a Python library for symbolic mathematics.

not rated 4 4d ago A 38 tokens original Apache-2.0

u9401066/nsforge-mcp

Skill Claude CodeCodex

A step-by-step workflow for deriving mathematical formulas with symbolic calculation tools. Symbolic calculation manipulates expressions such as equations and derivatives exactly, rather than only using numerical approximations.

not rated 4 4d ago A 35 tokens original Apache-2.0

u9401066/nsforge-mcp

Skill Claude CodeCodex

A library for saving, finding, viewing, updating, and deleting mathematical formulas, including formulas written in LaTeX.

not rated 4 4d ago A 34 tokens original Apache-2.0

u9401066/nsforge-mcp

Skill Claude CodeCodex

A search tool for finding formulas and scientific constants from Wikidata, BioModels, and SciPy. BioModels is a database of mathematical models used in biology and medicine, while SciPy is a Python library that includes scientific constants and unit conversions.

not rated 4 4d ago A 41 tokens original Apache-2.0

u9401066/nsforge-mcp

Skill Claude CodeCodex

A quick mathematics tool for simplifying expressions, solving equations, and performing calculus and other symbolic calculations. The description is in Chinese, but its listed operations include differentiation, integration, limits, series, inequalities, probability, matrices, and unit conversion.

not rated 4 4d ago A 56 tokens original Apache-2.0

u9401066/nsforge-mcp

Skill Claude CodeCodex

A workflow that combines domain-specific formula changes with constraint solving, which finds the best values that meet defined limits.

not rated 4 4d ago A 0 tokens original Apache-2.0

u9401066/nsforge-mcp

Skill Claude CodeCodex

A collection of checks for verifying mathematical expressions and their units. It can compare formulas, check derivatives, integrals, and equation solutions, and perform dimensional analysis, which tests whether physical units are compatible.

not rated 4 4d ago A 30 tokens original Apache-2.0

project-init

16

u9401066/nsforge-mcp

Skill Claude CodeCodex

A project template initializer that copies a prepared project structure into a new directory and resets project-specific files and Git history. Git is a system that records changes to code.

not rated 4 4d ago A 36 tokens original Apache-2.0

readme-i18n

17

u9401066/nsforge-mcp

Skill Claude CodeCodex

A tool for keeping English and Traditional Chinese versions of a project's README documentation aligned. A README is the main guide that explains a software project to its users and contributors.

not rated 4 4d ago A 44 tokens original Apache-2.0

readme-updater

18

u9401066/nsforge-mcp

Skill Claude CodeCodex

Guidance for keeping a project's README.md, the main introduction and usage document, aligned with its code.

not rated 4 4d ago A 40 tokens original Apache-2.0

roadmap-updater

19

u9401066/nsforge-mcp

Skill Claude CodeCodex

A tool for keeping a ROADMAP.md file up to date. A roadmap is a project plan that lists planned work and shows which milestones are in progress or finished.

not rated 4 4d ago A 43 tokens original Apache-2.0

test-generator

20

u9401066/nsforge-mcp

Skill Claude CodeCodex

A test-building tool for generating several kinds of checks for code. It covers static analysis, which examines code without running it, plus unit, integration, and end-to-end tests and coverage reports.

not rated 4 4d ago A 58 tokens original 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: