Neurosymbolic Forge — an MCP server that turns concepts into verifiable, traceable formulas via deterministic symbolic derivation with provenance. 89 tools, 10-gate verification harness.
23 files for Claude Code, GitHub Copilot, Codex and OpenCode: changelog-updater, code-refactor, code-reviewer, ddd-architect and 19 more — 5,925 tokens loaded in every session.
.github/copilot-instructions.md A 3,785 tok AGENTS.md A 990 tok CLAUDE.md A 1,150 tok .claude/skills/changelog-updater/SKILL.md A — .claude/skills/code-refactor/SKILL.md A — .claude/skills/code-reviewer/SKILL.md A — .claude/skills/ddd-architect/SKILL.md A — .claude/skills/git-doc-updater/SKILL.md A — .claude/skills/git-precommit/SKILL.md A — .claude/skills/memory-checkpoint/SKILL.md A — .claude/skills/memory-updater/SKILL.md A — .claude/skills/nsforge-code-generation/SKILL.md A 38 tok .claude/skills/nsforge-derivation-workflow/SKILL.md A 35 tok .claude/skills/nsforge-formula-management/SKILL.md A 34 tok .claude/skills/nsforge-formula-search/SKILL.md A 41 tok .claude/skills/nsforge-quick-calculate/SKILL.md A 56 tok .claude/skills/nsforge-usolver-collab/SKILL.md A — .claude/skills/nsforge-verification-suite/SKILL.md A 30 tok .claude/skills/project-init/SKILL.md A — .claude/skills/readme-i18n/SKILL.md A — .claude/skills/readme-updater/SKILL.md A — .claude/skills/roadmap-updater/SKILL.md A — .claude/skills/test-generator/SKILL.md A — These files are u9401066/nsforge-mcp's own configuration — they tell Claude Code, GitHub Copilot, Codex and OpenCode how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.