Skip to content
View ajgreyling's full-sized avatar

Block or report ajgreyling

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
ajgreyling/README.md

AJ Greyling

Software engineer building developer tooling, database infrastructure, and AI-agent systems. I work close to the metal of Postgres and the edges of the Model Context Protocol — token-efficient MCP servers, project-knowledge auditing, and DSL toolchains — and I run an open reading library on the side.

What I build

  • capybara-db-mcp — minimal, token-efficient database MCP server for PostgreSQL, MySQL, SQL Server, SQLite, and MariaDB.
  • electric-elephant — Postgres-specific, token-aware, zero-dependency SQL MCP server.
  • cursor-doctor — an MCP server that audits a project for documentation, rules, skills, and other knowledge artifacts.
  • helium-dsl-visx — a Cursor-first DSL toolchain: language server, MCP server, editor extension, and packaging pipeline.
  • arjuna-badger-press — a free, open reading library; read online or download every book.
  • the420code-proof — an independent, executable check of the 420 Code theory: re-derives the fundamental constants from one axiom and one input, with zero fitted parameters.

Focus areas

PostgreSQL · Model Context Protocol · Developer tooling · AI-agent systems · TypeScript

Reach me

Pinned Loading

  1. helium-dsl-visx helium-dsl-visx Public

    Cursor-first DSL toolchain: language server, MCP server, editor extension, and packaging pipeline.

    TypeScript 1

  2. capybara-db-mcp capybara-db-mcp Public

    Forked from bytebase/dbhub

    Zero-dependency, token-efficient database MCP server for Postgres, MySQL, SQL Server, MariaDB, SQLite.

    TypeScript

  3. cursor-doctor cursor-doctor Public

    An MCP server that audits a project for documentation, rules, skills, and other knowledge artifacts.

    TypeScript

  4. electric-elephant electric-elephant Public

    Postgres-specific, token-aware, zero-dependency SQL MCP server.

    TypeScript

  5. the420code-proof the420code-proof Public

    An independent, executable check of G's 420 Code unified theory — re-derives the fundamental constants from one axiom + one input, zero fitted parameters, and indexes the falsification registry. No…

    Python 2