pro
Adam Rybinski
AI Engineer building agentic & neuro-symbolic systems
New to Contra
Adam is ready for their next project!
A neurosymbolic AI server combining Prolog’s symbolic reasoning with Model Context Protocol (MCP) for hybrid AI applications
0
4
conversations with full auditability, explainability, and formal proof traces — not probabilistic guesses
0
14
A knowledge engineering CLI tool that combines LLM reasoning with Answer Set Programming (Clingo) to build, verify, and query structured knowledge from unstructured text
0
17
Browser induction app (WebILP) — LLM grounding, human review, then Clingo + Trealla. Read the series: Part 1 — Architecture (https://adamrybinski.com/blog/liveknowledge/) · Part 2 — WebILP in the browser (https://adamrybinski.com/blog/liveknowledge-part2/).
0
27