u9401066/nsforge-mcp
View on GitHub ↗Neurosymbolic Forge — an MCP server that turns concepts into verifiable, traceable formulas via deterministic symbolic derivation with provenance. 89 tools, 10-gate verification harness.
4 ★1 forksPythonUpdated 1mo ago
Topics
ai-agentscomputer-algebraderivationformal-verificationllmmcpmcp-servermodel-context-protocolneurosymbolicpharmacokineticsprovenancepythonscientific-computingsymbolic-computationsymbolic-mathsympy
- Stars
- 4★
- Forks
- 1
- Language
- Python
- License
- Apache-2.0
- Created
- 2025-12-31
- Last push
- 2026-07-08