Skip to content
Navigation menu
Search
Powered by Algolia
Search
Log in
Create account
DEV Community
Close
#
agents
Follow
Hide
Posts
Left menu
đź‘‹
Sign in
for the ability to sort posts by
relevant
,
latest
, or
top
.
Right menu
Formal Agent Contracts: Bring Mathematical Rigor to Multi-Agent Development with a Claude Code Plugin
Kotaro Andy
Kotaro Andy
Kotaro Andy
Follow
Apr 1
Formal Agent Contracts: Bring Mathematical Rigor to Multi-Agent Development with a Claude Code Plugin
#
claudecode
#
ai
#
formalmethods
#
agents
1
 reaction
Comments
Add Comment
4 min read
The Tool Calling Problem: Why Most Agents Are Just Chatbots with Buttons
Aamer Mihaysi
Aamer Mihaysi
Aamer Mihaysi
Follow
Apr 4
The Tool Calling Problem: Why Most Agents Are Just Chatbots with Buttons
#
ai
#
agents
#
llm
#
architecture
Comments
Add Comment
2 min read
Giving an AI agent a recon toolbox: wiring 30+ security tools into an MCP server
David McHale
David McHale
David McHale
Follow
May 4
Giving an AI agent a recon toolbox: wiring 30+ security tools into an MCP server
#
agents
#
ai
#
cybersecurity
#
mcp
2
 reactions
Comments
2
 comments
3 min read
Building Production-Ready Agentic AI Systems for Enterprise Software Delivery
khurram bilal
khurram bilal
khurram bilal
Follow
Apr 4
Building Production-Ready Agentic AI Systems for Enterprise Software Delivery
#
agents
#
ai
#
llm
#
softwareengineering
Comments
1
 comment
3 min read
JIT vs Interpreters: Benchmarking LLM-Generated Code Execution
delimitter
delimitter
delimitter
Follow
Apr 4
JIT vs Interpreters: Benchmarking LLM-Generated Code Execution
#
agents
#
llm
#
performance
#
python
Comments
Add Comment
3 min read
HBR Says AI Agents Act Like Malware. Here's What To Do About It.
Dar Fazulyanov
Dar Fazulyanov
Dar Fazulyanov
Follow
Mar 31
HBR Says AI Agents Act Like Malware. Here's What To Do About It.
#
security
#
ai
#
opensource
#
agents
Comments
Add Comment
3 min read
Closing the knowledge gap with agent skills
Mark McDonald
Mark McDonald
Mark McDonald
Follow
Mar 31
Closing the knowledge gap with agent skills
#
agents
#
ai
#
llm
#
softwareengineering
Comments
1
 comment
4 min read
Why AI Coding Speed Is Creating Control Debt
hefty
hefty
hefty
Follow
Mar 31
Why AI Coding Speed Is Creating Control Debt
#
ai
#
vibecoding
#
webdev
#
agents
Comments
Add Comment
2 min read
Why AI Coding Speed Is Creating Control Debt
hefty
hefty
hefty
Follow
Mar 31
Why AI Coding Speed Is Creating Control Debt
#
ai
#
vibecoding
#
webdev
#
agents
Comments
Add Comment
2 min read
OpenClaw Discord Integration: Run Your AI Agent in Discord Servers
Hex
Hex
Hex
Follow
Mar 31
OpenClaw Discord Integration: Run Your AI Agent in Discord Servers
#
ai
#
agents
#
automation
#
discord
Comments
Add Comment
7 min read
How I built an append-only cryptographic audit trail for AI agent actions
Andrei Traistaru
Andrei Traistaru
Andrei Traistaru
Follow
Mar 31
How I built an append-only cryptographic audit trail for AI agent actions
#
ai
#
agents
#
opensource
#
typescript
Comments
Add Comment
1 min read
The Speed-Smart Tradeoff Nobody Talks About in Coding Agents
Aamer Mihaysi
Aamer Mihaysi
Aamer Mihaysi
Follow
Mar 30
The Speed-Smart Tradeoff Nobody Talks About in Coding Agents
#
ai
#
agents
#
productivity
#
coding
1
 reaction
Comments
Add Comment
2 min read
Why we built nested steerable tool loops for AI agents
Daniel Lenton
Daniel Lenton
Daniel Lenton
Follow
Mar 30
Why we built nested steerable tool loops for AI agents
#
opensource
#
automation
#
architecture
#
agents
Comments
Add Comment
3 min read
My AI Agent Can't Sign Up for Hacker News
Kuro
Kuro
Kuro
Follow
Mar 31
My AI Agent Can't Sign Up for Hacker News
#
ai
#
agents
#
webdev
#
architecture
Comments
Add Comment
3 min read
Turning Agent History into Procedural Memory
Rizèl Scarlett
Rizèl Scarlett
Rizèl Scarlett
Follow
for
Entire
May 3
Turning Agent History into Procedural Memory
#
ai
#
agents
#
agentskills
#
entire
5
 reactions
Comments
2
 comments
5 min read
đź‘‹
Sign in
for the ability to sort posts by
relevant
,
latest
, or
top
.
We're a place where coders share, stay up-to-date and grow their careers.
Log in
Create account