Jonathan D.A. Jewell
@hyperpolymath
NUJ NEC | Open University | Formal Verification, Language Design, Dependable.& Distributed Safety-Critical Systems | Available for collaborations.
6
Published Tools
10
Total Stars
0
Weekly Downloads
340
GitHub Followers
358
Public Repos
100/100
Avg Security
Published Tools
6 MCP Serversacross 4 categorieshyperpolymath
A four-pane neurosymbolic development environment (eNSAID) designed as a cognitive-relief layer for human-machine co-orbit. Built on AffineScript (TEA architecture) and Ephapax (Gossamer webview), with friction monitoring (Vexometer), neural output gating (Anti-Crash); planned TypeLL (type) and ECHIDNA (proof) verification for the symbolic layer.
...morehyperpolymath
Unified MCP server with 40+ tools covering GitHub, GitLab, Cloudflare, Vercel, Gmail, Calendar, browser automation, research, ML, and 50+ pluggable cartridges for extensible developer workflows.
...morehyperpolymath
Conversation knowledge extraction and reconciliation for multi-LLM development workflows
Unified MCP for 20 databases: SurrealDB, ArangoDB, Virtuoso, CouchDB, Cassandra, and more
Unified MCP for 28 static site generators across 19 languages: Zola, Hakyll, and more
hyperpolymath
Bundle of Joy (BoJ) MCP Server — cartridge-based DevOps + multi-agent coordination toolkit with 100 domain cartridges (database, container, git, k8s, observability, secrets, IaC, multi-instance AI coord, and more). Formally verified (Idris2) core; MPL-2.0
...more