Unclaimed profileBuilt from public GitHub and Hugging Face activity. Michael has not joined Lounge yet.Claim it
Not on Lounge yet
Michael Denyer
developerSoftware Engineer and Bioinformatician
Public projects
pstack-claude
Claude Code, Codex, Copilot, Pi, OpenCode, Gemini, and Prime Agent versions of Poteto's pstack. Rigorous agent workflows with Cursor primitives translated for other harnesses.
JavaScriptagent-pluginagent-skillsagentic-ai
agent-formal-verify
TLA+ model checking and Lean proofs for coding agents, with explicit tool setup.
JavaScriptagentagent-pluginagent-skills
memory-mcp
Engram-inspired memory MCP server with hot cache and pattern mining
Pythonagent-pluginagent-skillsclaude-code
signal-output-style
Signal: a Claude Code output style that answers first, sizes replies to the question, and makes every number carry its unit and source.
claude-code
swift-agent
Claude Code subagent for local ukisai models on Apple Silicon through splash, including Swift 1.5 and Swift Bonsai 2, with an auto-starting server
Pythonclaude-code
pyrefly-lsp
Pyrefly LSP integration for Claude Code — fast Python type checking
Shellagent-pluginclaude-codeclaude-plugin
Likely stack
ClaudeOpenAICursorMCP
