Neurosymbolic Forge — an MCP server that turns concepts into verifiable, traceable formulas via deterministic symbolic derivation with provenance. 89 tools, 10-gate verification harness.
Instructions file GitHub Copilot
Project instructions for GitHub Copilot's Agent Mode, an AI coding assistant inside Visual Studio Code, covering architecture, Python setup, notes, and Git workflow.
Instructions file CodexOpenCode
Instructions for u9401066/nsforge-mcp, covering nsforge agent harness, goal, north star, working style and ground truth: one command.
Instructions file
Project instructions for Claude Code, an AI coding assistant, in a template that uses layered rules, shared project notes, and separate software areas.