coding-theorem is an open-source Python package that installs the Theseus MCP server into local coding tools. It supports coding assistants, knowledge graphs, and the Model Context Protocol, making it useful for developers seeking advanced code assistance.
In the Frameworks & SDKs space, coding-theorem takes a focused approach. It enables local coding tools to use the Theseus MCP server for enhanced coding assistance and knowledge graph features. It is built as an open-source project for developers integrating coding assistants. coding-theorem is open source under the MIT license. coding-theorem is available on the web and the command line, and it can be self-hosted.
Travis Gilbert builds and maintains coding-theorem, and the product first shipped in 2026. Development happens publicly on GitHub with 6 commits in the last 90 days. Key capabilities include MCP server, coding assistant integration, and knowledge graph support. It exposes integrations via an MCP server.
Latest indexed changes and source events
Other apps tracked under the same category.
